3 ms·MLs have higher kinder types.by adamwk 9y agoMLs have higher kinder types.lmm 9y agoWhich ones? OCaml is planning to add them via its "modular implicits" work but that hasn't happened yet; none of the SML implementations I used mentioned them.adamwk 9y agoI think you're confusing higher-kinded types with type classes. You're right that neither has type classes.