The problem in Scarf's case wasn't Haskell's type system, but the long compile time for even small changes.