MaybeIfx type

Infix that might or might not be present for (-) to succeed

Direct parent types

Ifx
Infix subsequence of a sequence
Direct subtypes: 2