Added example of cont monad