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:[EMAIL PROTECTED] tel:917-770-6565 http://alexjacobson.com _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
