The Haskell documentation for higher-kinded types ...

# arrow

[Bob Glamm]

The Haskell documentation for higher-kinded types (HKTs) makes much more sense because it was built for HKTs from the ground up