The continuation monad is one of the least appreciated monads and in this post I hope to motivate when to use it. This post will first motivate continuations in general and then motivate them in their specific capacity as monads. Continuations A Haskell continuation has the following type: newtype Cont r a = Cont { runCont :: (a -> r) -> r } A continuation takes a function of type (a -> r) and gen
{{#tags}}- {{label}}
{{/tags}}