Docs/higher kinded v2

Adds the higher-kinded schema to the docs.

Review by @DarkDimius @samuelgruetter 
`]]` -> `]`