(polyTypeWithCons: StringAdd).self
(polyTypeWithCons: StringFormat).self
(polyTypeWithCons: ArrowAssoc[PolyTypeWithCons]).x
(Since version 2.10.0) Use leftOfArrow instead
(polyTypeWithCons: Ensuring[PolyTypeWithCons]).x
(Since version 2.10.0) Use resultOfEnsuring instead