Foldable1/Traversable1 instance for 2-tuples.