Class MutableTypeConstraint