[Haskell-cafe] Restricted Monad question

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? I guess the tricks with ConstraintKinds explained in the blog are used for internal implementation of RMonad? Thanks -- Ismael