Counterexamples in Type Systems 如果我們說一個型別建構子 FFF 是 Injective，那麼意思是如果 F[A]=F[B]F[A] = F[B]F[A]=F[B] 則 A=BA = BA=B。 一個程式語言的各個參數化型別不必然都具有這個特性。