The Mirror for a sum type
The names of the product elements
The name of the type
The mirrored *-type
The ordinal number of the case class of x. For enums, ordinal(x) == x.ordinal
x
ordinal(x) == x.ordinal