monadic parser
monadic lexer and parser

That was horrible