[Haskell-cafe] Textbook example of instance Foldable ((,) a)