New tupleSubtypesTest