Introduce Cont monad example