
13 Nov
2011
13 Nov
'11
7:58 a.m.
On 13 November 2011 12:21, Yitzchak Gale
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?
A quick grep shows that Control.Monad.Fix also imports Control.Monad.Instances because it defines: class (Monad m) => MonadFix m where ... instance MonadFix ((->) r) where ... instance MonadFix (Either e) where ... Of course the import can be removed safely. Speaking about MonadFix: What about adding this instance to Control.Monad.Fix: instance Monoid w => MonadFix ((,) w) where mfix f = let m = f (snd m) in m ? Bas