Agda.Syntax.Parser.Comments
keepComments
keepCommentsM
nestedComment
hole
skipBlock