Haskell library for lifting actions from the bottom of a monad transformer stack