Both GHC and ocaml have a pretty good claim at being among the most influential compilers of their generation. If you look at Java for instance, generics were

Both GHC and ocaml have a pretty good claim at being among the most influential compilers of their generation. If you look at Java for instance, generics were made by one of the Haskell creators, and it has been implementing functional features for years now.