For now, feel free to rename `SpecifiedTupleTypeValue` to `TupleTypeValue`