datatype 'a option = Solution of 'a | Nothing;