-
chak@cse.unsw.edu.au. authored
- Its important that `isImplicitTyCon' considers (a) associated families to be implicit, but (b) considers family instances *not* to be implicit (for the same reasons that a dfun is not implicit).
97236c9f
- Its important that `isImplicitTyCon' considers (a) associated families to be implicit, but (b) considers family instances *not* to be implicit (for the same reasons that a dfun is not implicit).