(productValue: StringAdd).self
(productValue: StringFormat).self
(productValue: ArrowAssoc[ProductValue]).x
(Since version 2.10.0) Use leftOfArrow
instead
(productValue: Ensuring[ProductValue]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
The representation for ProductType values in the interpreter