Deprecate Foldable for Either
Henning Thielemann
lemming at henning-thielemann.de
Sat Mar 18 19:49:00 UTC 2017
On Sat, 18 Mar 2017, Carter Schonwald wrote:
> for what?
A warning if someone e.g. calls 'length (a,b)', or more generally, if
certain instances are used.
More information about the Libraries
mailing list