Experiments with the Lexer/Parser monad