On Thu, Jan 9, 2014 at 9:50 AM, Vlatko Basic
With my current knowledge of Haskell, I do not see why is there Maybe if we have Either.
Because, while Either () a is isomorphic to Maybe a, it can be rather less convenient to have to track that Left (). We can easily define a type that doesn't need the extra work; why not use it? Especially when that particular case turns out to be very common. The fact that you *can* build up a standard library from first principles every time you write a program does not mean that you *should*. -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net