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