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