I once saw (here on HN) Haskell described as “primordial soup of type theory, from which other languages draw their good ideas from”.