[GHC] #974: Add unzipEithers, lefts, rights to Data.Either
Neil Mitchell
ndmitchell at gmail.com
Mon Nov 13 15:46:54 EST 2006
Hi
> I think that the type of lefts and rights should be generalized to
>
> lefts :: (MonadPlus m) => m (Either a b) -> m a
> rights :: (MonadPlus m) => m (Either a b) -> m b
>
> Any concerns about this? Are the names still acceptable?
I think the original one was much much clearer....
Now you have to know that list is an instance of MonadPlus, and have
to understand higher kinded type classes, just to grab the left things
out of a list.
Thanks
Neil
More information about the Libraries
mailing list