[Haskell-cafe] Re: Just a quick question

Imam Tashdid ul Alam writes:

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.

"Functional dependencies" might mean something different than you think. See section 8.6.2 of this: http://www.haskell.org/ghc/docs/latest/html/users_guide/type-class-extension... Chad