Simpler PolymorphicType interface