Re: [Haskell-cafe] Properties for Foldable