On 9 January 2011 07:28, Peter Padawitz <peter.padaw...@udo.edu> wrote: > Hi, > > is there any way to instantiate m in Monad m with a set datatype in order to > implement the usual powerset monad? > > My straightforward attempt failed because the bind operator of this instance > requires the Eq constraint on the argument types of m.
See Ganesh Sittampalam's rmonad [1] package. [1]: http://hackage.haskell.org/package/rmonad -- Ivan Lazar Miljenovic ivan.miljeno...@gmail.com IvanMiljenovic.wordpress.com _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe