*>
Parser
Soft
Soft0
Soft01
With1
Parser0
:<:
cats
:≺:
cats
<*
Parser
Soft
Soft0
Soft01
With1
Parser0
?
Parser0
|
Parser
Parser0
~
Parser
Soft
Soft0
Soft01
With1
Parser0
~>
cats
⊤
cats
⊥
cats