Job Vranish wrote:
Yeah, I think the problem with my case is that while M is a specific monad (essentially StateT), N can be an arbitrary monad, which I think destroys my changes of making a valid joinInner/joinOuter/distribute. Maybe someday Haskell will infer valid joinInner/joinOuter for simple cases :D
Another alternative is to define a typeclass DistributesOverM, and provide instances for the particular monads, n, you care about. Just because you can't do it in general doesn't mean you can't do it :)
-- Live well, ~wren _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
