Agda.Syntax.Parser.Tokens
data Token
data Keyword
data Symbol