And lo, monad transformers were discovered, and much code was deleted.