Interp: lift -> liftIO