Use ContT monad
Use ContT for flow control