lab04/impure io monad, one FIXME