[Haskell-cafe] Set monad

[Ivan Lazar Miljenovic]

On 9 January 2011 07:28, Peter Padawitz <peter.padawitz at udo.edu> 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
Ivan.Miljenovic at gmail.com
IvanMiljenovic.wordpress.com