If you're comparing type systems against Haskell you're excluding all mainstream languages except maybe Scala and Rust