Hi, I was wondering about defining a restricted monad, and found out this blog post: <a href="http://blog.omega-prime.co.uk/?p=127">http://blog.omega-prime.co.uk/?p=127</a><div><br></div><div>In GHC 7.4.1 still the recommended way is using the rmonad package, right?</div>
<div>I guess the tricks with ConstraintKinds explained in the blog are used for internal implementation of RMonad?</div><div><br></div><div>Thanks<br><div><div><br></div>-- <br>Ismael<br><br>
</div></div>