Talk:MonadCont under the hood

Not clear why in this case function "g" is never invoked

doC n = return n >>= \x -> callCC (\abort -> h x abort >>= \y -> g y)