Agda.Utils.Parser.MemoisedCPS

class ParserClass p k r tok

data Parser k r tok a

data ParserWithGrammar k r tok a