Kleisli category of the continuation monad Continuation-passing is cocartesian coclosed References. The Duality of λ-Abstraction (Choudhury, Gay, 2025) Tags: Monad, Game theory