05/monad: more succinct State
Labs/05: Cont