[Haskell-cafe] Applicative and Monad transformers
jeremy at n-heptane.com
Thu Aug 27 21:57:32 EDT 2009
At Thu, 27 Aug 2009 10:47:43 -0400,
Job Vranish wrote:
> I've often wanted an applicative instance for a datatype that didn't match
> the monad instance.
> It would be nice if there was a way to hide instances so that
> they could be redefined.
Yeah, this is similar to the issue of multiple sensible instances for
Data.Monoid. This issue has come up several times for me recently. A
bit of a shortcoming in the type class design I think.
There was once a proposal to help address this, but it never gained
Recently I have wondered if module functors might somehow be a
solution somehow. But I have not actually investigated at all.
More information about the Haskell-Cafe