 
 TUPLE: apply-parser p1 quot ;
 
-C: <@ apply-parser ( parser quot -- parser )
+C: <@ apply-parser
 
 M: apply-parser parse ( input parser -- result )
     #! Calls the parser on the input. For each successful


TUPLE: satisfy-parser quot ;

C: satisfy satisfy-parser ( quot -- parser )

M: satisfy-parser parse ( input parser -- list )
    #! A parser that succeeds if the predicate,


TUPLE: fail-parser ;

C: fail fail-parser

M: fail-parser parse ( input parser -- list )
    #! A parser that always fails and returns
