I voted "maybe", since I wasn't unsure about FunctionalDependencies. My line of thought was "since only the creator of the class has to enable it, it's not so terrible". On the other hand, I agree with your comment about being properly guarded by syntax, which is sort of my golden rule.

About TypeFamilyDependencies, I think it's too early for inclusion. I don't think the design has settled yet, in particular because you cannot write very complex dependencies right now.

El vie, 4 dic 2020 a las 13:44, Spiwack, Arnaud (<arnaud.spiwack@tweag.io>) escribió:

Dear all,

It seems that a number of us have voted against including FunctionalDependencies and TypeFamilyDependencies.

I don't understand why. They are properly guarded by syntax. I don't know any complaint against them FunctionalDependencies, at least, is as standard as it gets (there are functional dependencies all over the mtl).

Is it an oversight? Or do some of us really believe that we ought to keep these out, and why?

/Arnaud
_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee