Well-defined, strong, extensive type systems (such as Ada's, OCaml's or Haskell's) are test cases