Encoding and decoding this continuation-passing style corresponds to composition and identities on the Kleisli category of the monad: that is, they correspond to the bind and the return.
Tags: continuation monad, non-associative monadic continuation passing, Yoneda lemma.