>>>>> "HT" == Henning Thielemann <lemming at henning-thielemann.de> writes: HT> "length (a,b) == 1" is only a consequence of defining instance HT> Foldable for pairs. It was not the argument to implement that HT> instance, at all. What was the argument to use 1, not 2 for instance?