もしかしてProtocolのPと、struct P: P {}って区別できるようになるのかな