@hackage / unlift

Typeclass for monads that can be unlifted to arbitrary base monads