A concrete subclass ofscala.deriving.Mirror.Product, enabling reduction of bytecode size. as we do not need to synthesize an anonymous Mirror class at every callsite.
The mirrored *-type
The names of the product elements
The name of the type
Create a new instance of typeT with elements taken from productp.