first commit for explicit supertypes