[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
direction.

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>
<http://bugs.darcs.net/patch2166>
__________________________________


More information about the darcs-devel mailing list