Maybe the author is referring to generics - compile time generated code. But I'm with you. Code correctness is easily the biggest benefit for me, followed by

Maybe the author is referring to generics - compile time generated code. But I'm with you. Code correctness is easily the biggest benefit for me, followed by fearless refactoring. The difference between refactoring a large Python project, and a Haskell project is staggering.