An implication constraint can abstract over EqInsts