conditional conformance を使って、 
/n が n: 素数のときに限って体になるというのが表現できました
/n が n: 素数のときに限って体になるというのが表現できました
typealias A = IntegerQuotientRing<_5> // 5 は素数 let a = A(4) let b = A(3) print(a / b) // 割り算ができる typealias A = IntegerQuotientRing<_4> // 4 は素数でない！ let a = A(4) let b = A(3) print(a / b) // 割り算ができないのでちゃんとエラー 
2