Added a generic constrained type Is, via existential quantification