Avatar
型パラメータをサブクラスで持って、親クラスではもたないと、型パラメータ部分を消せる
ちょうどKeyPathのクラス階層がそんな感じな気がする。ルートがAnyKeyPathで、そこからPartialKeyPath<Root>, KeyPath<Root, Value>みたいな。