えー、↓これできないの？

struct Foo<T> {} extension Foo where T == Int { typealias A = Int64 } extension Foo where T == Float { typealias A = Double }