As opposed to encouraging polymorphic code (a la haskell, java), which is fast to compile and provides better type safety. (Yes, I know neither javac nor ghci

As opposed to encouraging polymorphic code (a la haskell, java), which is fast to compile and provides better type safety. (Yes, I know neither javac nor ghci are particularly fast, but that doesn't detract from the general point.)