This clarifies that kind variables are inputs to type families and can be used to distinguish instances.