Proposal: Move the instances from Control.Monad.Instances into GHC.Base

Bas van Dijk v.dijk.bas at gmail.com
Sun Nov 13 01:28:50 CET 2011


On 12 November 2011 21:12, Edward Kmett <ekmett at gmail.com> wrote:
> I propose that we move the contents of Control.Monad.Instances into GHC.Base

+1

In your proposal you don't explicitly mention the Monad instance for
Either. I assume you also want to move that instance.

Small implementation detail: the Functor and Monad instances for
Either should be moved to Data.Either since that module defines the
Either type and imports GHC.Base.

Thanks for proposing this!

Bas



More information about the Libraries mailing list