↑のコメントの通りだけど、 Int.self は Int.Type のインスタンスだけど、 \Int.self は Int.Type ではなく Int （から Int へ）の KeyPath になり、 Int.Type の KeyPath は \Int.Type.self と書かないといけないけど、 Int.Type.self は Int.Type.Type のインスタンスというわかりづらさ。 (edited)