
1 Mar
2006
1 Mar
'06
9:39 a.m.
On 3/1/06, Johannes Waldmann
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#rebin...
Good news, everyone! http://www.haskell.org/ghc/dist/current/docs/users_guide/syntax-extns.html#r... That looks good to me! Jim