Rename lift to liftIO, remove garbage
Generalize towards monad transformer.

- I am still an amateur with monad transformers