(emptyConstructor: StringAdd).self
(emptyConstructor: StringFormat).self
(emptyConstructor: ArrowAssoc[EmptyConstructor[A]]).x
(Since version 2.10.0) Use leftOfArrow instead
(emptyConstructor: Ensuring[EmptyConstructor[A]]).x
(Since version 2.10.0) Use resultOfEnsuring instead