1 Apr
2004
1 Apr
'04
4:17 p.m.
On Wed, 31 Mar 2004, Tomasz Zielonka wrote:
You can try to define a different version of Monad using multiparameter type classes, something like:
class M m a b where (>>>=) :: m a -> (a -> m b) -> m b
I don't think this works. GHC can't deduce context for (>>>). I don't understand why, but I've tried a variety of permutations of constraint declarations (m b needs to be a Monad as well...). -Alex- _________________________________________________________________ S. Alexander Jacobson mailto:me@alexjacobson.com tel:917-770-6565 http://alexjacobson.com