Provide in-line kind signatures for Data.Type.Ord.Compare.

Haddock doesn't know how to render SAKS, so the only current way to make
the documentation show the kind is to write what it should say into the
type family declaration.