instance visibility

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


On Fri, Sep 26, 2008 at 2:37 PM, Claus Reinke <claus.reinke at talk21.com> 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 zednenem.com>
<http://www.eyrie.org/~zednenem/>


More information about the Libraries mailing list