Interactive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post This article assumes familiarity with monads and monad transformers. If you've never had an occasion to use lift yet, you may want to come back to it later. The ProblemWhat is the problem that monad-control aims to solve? To answer that, let's back up a bit. We know that a monad represents