Document the interaction between ScopedTypeVariables and StandaloneKindSignatures
This documents a limitation of StandaloneKindSignatures
—namely, that it
does not bring type variables bound by an outermost forall
into scope over
a type-level declaration—in the GHC User's Guide. See #19498 (closed) for more
discussion.