Suspension: the magic behind composability (or "The Kyo Monad")

Internals of Kyo: how suspension generalizes monadic computation to give composable algebraic effects, how to reason about effect ordering, and how effects are handled.