[Haskell-cafe] Set monad

[Peter Padawitz]

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