O okmij.org Higher-kinded bounded polymorphism in OCaml (2021) 141 points tinyspacewizard 2 years ago 10 comments
