higher Higher-kinded programming in OCaml, as described in Lightweight Higher-Kinded Polymorphism Jeremy Yallop and Leo White Functional and Logic Programming 2014 You can install higher using opam: opam install higher Implementations in other languages fp-ts (TypeScript) flow-static-land (Flow) hkt (Java) KindedJ (cross-language JVM) elm-brands (Elm) Higher (F#) Arrow (Kotlin) Bow (Swift) HKT.swift (Swift) HigherKindedPolymorphisms (Julia) fp-core (rust) Higher Standard (SML) object-algebras (C#)