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