On Mon, Jun 04, 2012 at 11:35:20AM +0200, Ismael Figueroa Palet wrote: > Hi, I was wondering about defining a restricted monad, and found out this > blog post: http://blog.omega-prime.co.uk/?p=127 > > In GHC 7.4.1 still the recommended way is using the rmonad package, > right?
You can do it however you want, I don't think there's really a "recommended" way. But using the rmonad package is certainly more convenient. > I guess the tricks with ConstraintKinds explained in the blog are used for > internal implementation of RMonad? No, the rmonad package has been around since long before the ConstraintKinds extension was even conceived. -Brent _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe