type Maybe a
    = Nothing
    | Just a