既存のExistential型を禁止して、anyキーワードをつけないといけないようにすると、綺麗になりそうだなあ

8:32 AM

<T: P>(T)と(P)の違いはわかりにくいけど、<T: P>(T)と(any P)ならわかりやすいと思うし、前者が (some T) になれば (some T)と(any T)が違うものだと明らか