instance (HasKindVars s t a b, HasKindVars u v a b) => HasKindVars (s,u) (t,v) a b