+1

This is in the same spirit as the missing Traversable & friends instances for Either: this is what Haskellers are coming to expect as standard.

-- Dan Burton


On Sun, Jun 16, 2013 at 3:12 PM, Gabriel Gonzalez <gabriel439@gmail.com> wrote:
On 06/16/2013 03:09 PM, Roman Cheplyaka wrote:
* Gabriel Gonzalez<gabriel439@gmail.com>  [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]: http://www.haskell.org/pipermail/libraries/2012-December/019027.html

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.


_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://www.haskell.org/mailman/listinfo/libraries