6.4.13. Kind polymorphism¶| ghc.gitlab.haskell.org
6.4.10. Datatype promotion¶| ghc.gitlab.haskell.org
1. The Paradox| plato.stanford.edu
