@hackage has-transformers0.1.0.0

A very slim library for first-order effects based on monad transformers (and nearly nothing else).

Given a transformer stack t1 (t2 (t3 (... m))) a, you can automatically lift any function thing :: tN m a into the stack with a single function, liftH.