<div dir="ltr"><div>Dear all,<br></div><div dir="ltr"><br></div><div dir="ltr">It seems that a number of us have voted against including FunctionalDependencies and  TypeFamilyDependencies.</div><div dir="ltr"><br></div><div>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).</div><div><br></div><div>Is it an oversight? Or do some of us really believe that we ought to keep these out, and why?</div><div><br></div><div>/Arnaud<br></div></div>