Proposal to solve the `EitherT` problem.

Gabriel Gonzalez gabriel439 at
Mon Jun 17 00:12:42 CEST 2013

On 06/16/2013 03:09 PM, Roman Cheplyaka wrote:
> * Gabriel Gonzalez<gabriel439 at>  [2013-06-16 14:52:46-0700]
>> * Approach 2: Add `EitherT` to `transformers` alongside `ErrorT` and
>> have them both implement `MonadError`.
> I already submitted the proposal to merge EitherT into transformers [1],
> which enjoyed universal support, barring some implementation details.
> So why not just bring that proposal to its conclusion?
> [1]:
> Roman
Thanks for reminding me of this.  I vaguely remembered this but couldn't 
find the thread.

I'll gladly get behind your original proposal, then.  I particularly 
liked the suggestion of keeping the `either` package around to provide 
the `semigroups` and `semigroupoids` instances.

More information about the Libraries mailing list