unlift (hackage): Typeclass for monads that can be unlifted to arbitrary base monads. See README.md for more details.
Keywords: control|library|monad|mpl|typeclass|unlift|haskell-library|monad-control|monad-unlift|monadic-interface