er, lexerLower :: P.GenTokenParser String u Identity
lexer = P.makeTokenParser intuitionisticStyle
lexerUpper = P
lexer, lexerUpper, lexerLower :: P.GenTokenParser String u Identity
lexer = P.makeTokenParser intuitionisticStyle
lexer = P.makeTokenParser intuitionisticStyle