added validators for type parameters