Treat kind/type variables identically in 'forall'