Maybe

data Maybe a
  = Nothing
  | Just a