Class type Class.polymorphic