[Haskell-cafe] Set monad

Peter Padawitz peter.padawitz at udo.edu
Sat Jan 8 22:28:57 CET 2011


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.


More information about the Haskell-Cafe mailing list