Re: [Haskell-cafe] A Proposed Law for Foldable?

On Thu, Feb 12, 2015 at 04:39:02PM -0500, Edward Kmett wrote:

And as been worked through to death in the past, Functor cannot be a superclass of Foldable. ;)

Because, for example, that wouldn't allow a Set to be Foldable.