I would agree with "Haskell", and typeclasses are probably are the most important feature, if such a thing could exist. However, was there a lot of hype for typ

I would agree with "Haskell", and typeclasses are probably are the most important feature, if such a thing could exist. However, was there a lot of hype for typeclasses when they came out in the 90s? It seems like outside the pure functional programming domain, typeclasses have not yet reached their zenith!