Candidates for quickcheck-monoid-subclasses

No candidates exist for quickcheck-monoid-subclasses. Upload one for this or another package?