Skip to content

WIP: Revised user guide's kind polymorphism section

Christopher Rodrigues requested to merge heatsink/ghc:docs-kind-poly-overview into master

This is a proposed revision to the user guide's kind polymorphism section. I tried to tell a more consistent story and orient it more around what it means for a user. It's motivated by my experience using kind polymorphism for the first time. Feedback is welcome.

  • Get to the main idea faster in the overview.

  • Clarify that "kinds are just types" internally, but they're still pretty different in type inference.

  • Try to impart a general, user-POV intuition of how kind signatures work in the "Principles of kind inference" section. Removed some later sections because they were absorbed into this one.

  • Point out that explicit forall doesn't deactivate kind generalization.

  • Trim down the discussion of visible type variables. Link to the existing section about it.

Looks like this section has been touched the most by @int-index @rae.

Edited by Christopher Rodrigues

Merge request reports