HaveResult.returnResultCode(r)(changeResult(r: &r)) と同等っていうのは説得力ある説明だな。 (edited)