> But SML and OCaml don't even have typeclasses at all, much less higher kinds. There is a fun library[0] with a pretty good paper[1] on how to do that in OCam

> But SML and OCaml don't even have typeclasses at all, much less higher kinds. There is a fun library[0] with a pretty good paper[1] on how to do that in OCaml :-) [0]: https://github.com/ocamllabs/higher https://github.com/ocamllabs/higher [1]: https://ocamllabs.github.io/higher/lightweight-higher-kinded-polymorphism.pdf https://ocamllabs.github.io/higher/lightweight-higher-kinded...