On 9 January 2011 07:28, Peter Padawitz <[email protected]> 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 [email protected] IvanMiljenovic.wordpress.com _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
