Proposal to solve the `EitherT` problem.

Daniel Trstenjak daniel.trstenjak at
Wed Aug 14 09:42:20 CEST 2013

On Tue, Aug 13, 2013 at 06:57:22PM -0400, Edward A Kmett wrote:
> I look forward to finding out the new name for MaybeT then. ;)

That's a bit unfair, because the Maybe data type has a clear meaning
which also holds for its Monad instance.

That's not the case for Either. The Either data type doesn't propose
a special meaning to the 'Left' or 'Right' case, but the Monad
instance of Either does.

Isn't just having a discussion about such a contradiction at the end
the reason why Haskell is the language it is?


More information about the Libraries mailing list