cT String u Identity a -> ParsecT String u Identity a
lexeme     = P.lexeme lexer

-- term ::= t
lexeme :: ParsecT String u Identity a -> ParsecT String u Identity a
lexeme     = P.lexeme lexer
lexeme     = P.lexeme lexer