The Mirror for a product type
A proxy for Scala 2 singletons, which do not inherit Singleton directly
Singleton
The Mirror for a sum type