Proper monadic control flow.