[TuringTest]

Haskell has been enormously influential in the study of types; modern high-level type checkers are built using knowledge from these studies.