Re: [Haskell-cafe] Why Maybe exists if there is Either?

On Thu, Jan 9, 2014 at 12:11 PM, Ben Foppa wrote:

Aside from the point made about typeclass instances, I don't see an issue with:

type Maybe = Either ()

nothing :: Maybe a nothing = Left ()

just :: a -> Maybe a just = Right

Not until you try to pattern match on it.... -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net