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