Someone must not have noticed the bit where I mentioned that proposing
Functor f => Foldable f in order to avoid the GADT stuff would make
everyone reject the idea. But to the extent that Gershom's law is a
good idea (I'm very far from convinced, because no one's explained in
a way that I can understand what makes it useful), it could by made a
conditional law: only Functor instances would have to obey it, in much
the same way that (of course) only Functor instances must obey foldMap
f = fold . fmap f.
On Thu, Feb 12, 2015 at 7:19 PM, Tom Ellis
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. _______________________________________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/mailman/listinfo/libraries