Rewrote Ken's box example in do-notation