Why do we need Control.Monad.Instances?

[Yitzchak Gale]

Bas van Dijk wrote:
>> I forgot the reason why we need Control.Monad.Instances which exports
>> orphaned Functor and Monad instances for ((->) r), ((,) a) and (Either
>> e)

Henning Thielemann wrote:
> Compatibility with Haskell 98's Prelude?

I seem to recall that at the time there was also concern about
causing GHC error messages to become hairy.

Just to clarify, I am not voting against taking these instances out of
quarantine now. I'm fine either way.

Thanks,
Yitz