Lifting continuations
A novel way to mix monadic lifting and the continuation passing style
Tags: functional