型パラメータをサブクラスで持って、親クラスではもたないと、型パラメータ部分を消せる

ちょうどKeyPathのクラス階層がそんな感じな気がする。ルートがAnyKeyPathで、そこからPartialKeyPath<Root>, KeyPath<Root, Value>みたいな。

1:49 PM