[Haskell-cafe] Restricted Monad question

[Brent Yorgey]

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