Continuation monad
= Continuation monad
{title2=$(A\to R)\to R$}
A <computational monad> for <continuation-passing style>. Result invokes the supplied <continuation> immediately; sequencing replaces it with a <continuation> that runs the next computation.