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.
Peter _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
