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