ML is notable for its higher-order module system, which solves the same problems but is different than the type classes/protocols/traits of Haskell/Swift/Rust.