Documentation improvement suggestions

[dabd]

• The * syntax for partially applied types is introduced here without referring to the kind-projector plugin. It would be useful to add an explanatory comment in the code or a footnote linking to the plugin documentation.

• Alternative which extends MonoidK is introduced before the latter. Should the sidebar show SemigroupK and MonoidK before Alternative?