[Haskell-cafe] A Proposed Law for Foldable?

Tom Ellis tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Fri Feb 13 00:19:03 UTC 2015

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.

More information about the Libraries mailing list