A few days back, I *think* I stumbled upon the
statement "the interaction between GADTs and
functional dependencies is not yet well understood".
Then I glossed over it. Now that I have (finally)
started understanding what GADTs are meant to do, I am
somewhat terrified. Did I read that one correctly? Or
was it "... between GADTs and *typeclasses*..."?
Was it?
Gah. That would be disastrous.
____________________________________________________________________________________
Never miss a thing. Make Yahoo your home page.
http://www.yahoo.com/r/hs
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
