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.