Referenced a paper characterising continuation monads.
]]>added pointer to:
Added a proof of monadicity of .
]]>I’d say instead that the algebras are complete atomic Boolean algebras.
]]>algebras of the continuation monad
]]>started a minimum at continuation monad, but not really good yet
]]>