Agda.Utils.Parser.MemoisedCPS
class ParserClass p k r tok
data Parser k r tok a
data ParserWithGrammar k r tok a