Interpreter of lazy, purely functional language with IO.