instance Functor Set, was: Re: Export lists in modules

Jim Apple jbapple+haskell-prime at
Wed Mar 1 09:39:59 EST 2006

On 3/1/06, Johannes Waldmann <waldmann at> wrote:
> But my point was that I want to use
> "do notation" for Sets (in fact, for any kind of collection)
> so I'd need the original Functor and Monad.

I understand this for Monad. Why not just redefine Functor, Oleg-style?

> I couldn't use ghc's Rebindable Syntax feature
> because the types for (>>=) would not match?

Good news, everyone!

That looks good to me!


More information about the Haskell-prime mailing list