Generalised lifting
Failing safely with MonadPlus
Adventures in hiding the plumbing
Adventures in hiding the plumbing