Modular type class machinery for monad transformer stacks.