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

[Jim Apple]

On 3/1/06, Johannes Waldmann <waldmann at imn.htwk-leipzig.de> 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?
> http://www.haskell.org/ghc/docs/6.4/html/users_guide/syntax-extns.html#rebindable-syntax

Good news, everyone!

http://www.haskell.org/ghc/dist/current/docs/users_guide/syntax-extns.html#rebindable-syntax

That looks good to me!

Jim