+1 for the "not calling it Semifoldable"

On Tue, Oct 22, 2019 at 9:34 PM Henning Thielemann <lemming@henning-thielemann.de> wrote:

On Tue, 22 Oct 2019, John Cotton Ericson wrote:

> Echoing Keith's point, "semi" to me means a weaker algebra; i.e. a
> super-class. Foldable => Semifoldable is thus totally wrong,
> "Semifoldable" is the sub-class.

me too
_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries