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.