なんか protocol と mutating 関連の Proposal なかったっけ？