Docs/higher kinded v2

Adds the higher-kinded schema to the docs.

Review by @DarkDimius @samuelgruetter 
What's `X` here? Is it `A`, `A#X` or `B#X`?