stat (lexer "a=b") :: IO Stat expr (lexer "a") :: IO Expr