*>

Parser Soft Soft0 Soft01 With1 Parser0

:<:

cats

:≺:

cats

<*

Parser Soft Soft0 Soft01 With1 Parser0

?

Parser0

_1

Error

_2

Error

|

Parser Parser0

~

Parser Soft Soft0 Soft01 With1 Parser0

~>

cats

⊤

cats

⊥

cats