On Sun, Apr 26, 2009 at 03:23:17PM +0200, Thomas van Noort wrote:
This is a recurring problem[1] and I'm still looking for a really satisfying solution. The only working and non-verbose solution I found is the one Miguel suggests. Although I'm not too fond of splitting up the monadic functions into separate type classes. A similar solution is described elsewhere[2]. It also desribes how you can use Template Haskell to regain the power of the do-notation with your own restricted monad type class.
Kind regards, Thomas
[1] http://www.nabble.com/Monad-instance-for-Data.Set%2C-again-td16259448.html
[2] http://www.randomhacks.net/articles/2007/03/15/data-set-monad-haskell-macros
Have you tried the rmonad package[1] ? I haven't tried it myself but it seems to be exactly what you want. -Brent [1] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/rmonad