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