Int.self // Int.Type Int.Type.self // Int.Type.Type \Int.self // WritableKeyPath<Int, Int> \Int.Type.self // WritableKeyPath<Int.Type, Int.Type> ややこしいInt.self // Int.Type Int.Type.self // Int.Type.Type \Int.self // WritableKeyPath<Int, Int> \Int.Type.self // WritableKeyPath<Int.Type, Int.Type> ややこしいTypeになる。 後半はプロパティとかと同じでselfが指すものを対象とするKeyPathになる.