[Haskell-cafe] Re: Just a quick question

[Chad Scherrer]

Imam Tashdid ul Alam <uchchwhash <at> yahoo.com> 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-extensions.html

Chad