data Maybe a
  = Just a
  | Nothing