[Haskell-cafe] Properties for Foldable