[darcs-devel] [patch2166] cleaning up Arbitrary instances

Ben Franksen bugs at darcs.net
Thu Jun 3 14:07:45 UTC 2021

Ben Franksen <ben.franksen at online.de> added the comment:

Thanks for the explanations. I'm absolutely d'accord with the general

Still, the fact that you could generalize the instance for pairs so that
it works for triples, too, and thus could remove arbitraryTriple,
/suggests/ that perhaps we can similarly do away with all the triple
instances. Is there a simple explanation why this is not possible?

Darcs bug tracker <bugs at darcs.net>

More information about the darcs-devel mailing list