Kind equalities