recursive protocol constraintsは4に入ってましたっけ？