[ghc-steering-committee] #380 GHC2021: What's wrong with Functional dependencies

[Spiwack, Arnaud]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20201204/f078d08d/attachment.html>