Allow class associated types to reference functional dependencies
class Foo i j | i -> j where type Bar i :: * type Bar i = j
This is rejected as
j is not an argument to
Bar, but when we realize any instance
j will be a known type, determined by
i, as told to us by the | i -> j functional dependency on the class.
This would likely require some sort of extra pass over the instances with class associated types of this form to elaborate them, or a slight modification of the default signature implementation for class associated types.
|Component||Compiler (Type checker)|