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

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

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


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!


More information about the Libraries mailing list