Proposal to solve the `EitherT` problem.

[Daniel Trstenjak]

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?


Greetings,
Daniel