[Haskell-cafe] Folding nested foldables -- Known pattern?