整个系列课程的最后一小结！
介绍了之前在 \(interface\) 中所提到的 \(subtype\) 系统以及其与 ML 中 \(generics\) 的不同
introduction to subtyping
在之前的课堂中 (主要是 Part A)，我们了解了 FP 中的静态类型，尤其是 ML 中的 \(type system\)
而 ML \(type system\) 的有效性建立在参数多态 (\(parametric polymorphism\))，即泛型 (\(generics\)) 上