Resolving phantom supertypes early