functor
(
P
:
PARSER
)
->
S