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