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

[Yitzchak Gale]

Edward Kmett wrote:
> I propose that we move the contents of Control.Monad.Instances
> into GHC.Base...
> ...and make
> Control.Monad.Instances an empty stub that exists just to avoid breaking
> code, and which can be used to support any other missing instances for
> Prelude types in the future...

+1

This implies that your proposal also includes
removing the import of Control.Monad.Instances
from Control.Applicative. But you did not explicitly
say so. Is this correct?

If there is anywhere else in the base libraries where
Control.Monad.Instances is imported, presumably
that import should also be removed. Are we 100%
certain that no other such import exists?

Thanks,
Yitz