Removed PolymorphicType, it is not needed because there are no type applications