[Haskell-cafe] Non-traversable foldables