4 Jun
2012
4 Jun
'12
4:44 p.m.
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