let equal (_, i) (_, j) = (i == j)