Initial parser/lexer support for soaked monadic calls