8 Jan
2011
8 Jan
'11
4:36 p.m.
On 9 January 2011 07:28, 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.
See Ganesh Sittampalam's rmonad [1] package. [1]: http://hackage.haskell.org/package/rmonad -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com