Parameterising Class Constraints in Existential Types