instance visibility

David Menendez dave at
Fri Sep 26 17:26:41 EDT 2008

On Fri, Sep 26, 2008 at 2:37 PM, Claus Reinke <claus.reinke at> wrote:
> It seems that the ultimate offender is Control.Applicative, which
> imports Control.Monad.Instances() for no other reason than to
> infect its importers. That then propagates all over the place.

Control.Applicative defines Applicative instances for (->) and (,).
Doing so requires Functor instances for (->) and (,), which are
defined in Control.Monad.Instances.

I suppose one solution would be to move the Applicative instances for
(->) and (,) to Control.Monad.Instances.

Dave Menendez <dave at>

More information about the Libraries mailing list