ふと思ったけど、↓ってちゃんとわかってないとややこしいな。見た目が似てるもの（ Int.self と \Int.self など）が対応してないから。 Int.self Int.Type.self \Int.self \Int.Type.self