In 1999, the Haskell type system was a hard sell
Haskell was worked on by a bunch of funny-looking ivory-tower types: