Test kind inference for closed type families/T7939.