(i -> j -> Constraint) is Cartesian