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