Mapped_types_on_tuples_and_arrays