Re: Foldable & Traversable instances for ((,) a)