Agda.Utils.Parser.MemoisedCPS
data
Parser
k r tok a
parse
token
tok
sat
chainl1
chainr1
memoise