ML も総称型があるし、性能的にも SML/NJ と CMUCL はそんなに変わらなかったような...
MLton や OCaml はちょっと方向性が違うしね。