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