Documentation warning about the instances for `Arbitrary (Set a)` and friends being over the abstract set#379

Merged

MaximilianAlgehed merged 4 commits intomasterfrom PR-document-Set-Map

Apr 4, 2024

+9-2

Commits on Mar 23, 2024

Commits on Apr 4, 2024

More detailed warning
MaximilianAlgehed
committed