Under TVP, we must add a constraint that collection homogeneous
Under TVP, we must add a constraint that collection homogeneous