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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe