validate type constructor args