Re: Proposal to solve the `EitherT` problem.

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