“…In particular, subtyping is too weak, conformance is incorrect (Cook, 1989), constrained generic parameters and anchored types describe the same kind of polymorphism as class inheritance (Simons, 1995a), which is best described using F-bounds. F-bounds also provide a formal explanation for where-clauses (Day, et al, 1995), matching (Abadi and Cardelli, 1995;Bruce, 1994;Bruce et al, 1993) open types (Eifrig et al, 1994) and similar expressions of constraint upon interfaces.…”