The names of the product elements
The name of the type
A mutation that peforms a Unit effect and yields its arguments unchanged.
The no-op mutation.