Para idiomas com palavras-chave, alguns truques especiais precisam acontecer para impedir, por exemplo, "se" de ser interpretado como um identificador e "ifSomeVariableName" se tornar a palavra-chave "se" seguida pelo identificador "SomeVariableName" no fluxo de token.

Para descida recursiva e Lex / Yacc, simplesmente adotei a abordagem (conforme instruções úteis) de transformar o fluxo de token entre o lexer e o analisado

No entanto, o FParsec realmente não parece fazer uma etapa separada do lexer, então estou me perguntando qual é a melhor maneira de lidar com isso. Falando nisso, parece que o Parsec de Haskell suporta uma camada de lexer, mas o FParsec nã