allow supertypes