Im going to work on a PR now. One aspect that may surprise is that, in order to leverage the investment in Foldable laws within cats, it seems I want to alleycats test module to depend on cats laws (actually seems that dependency already present, via alleycats-laws).
As detailed https://github.com/typelevel/cats/issues/277#issue-67847417, I would like Foldable[Iterable] to fold over
Map.valuesand IIUC Alleycats is the designated place for these kinds of things.Im going to work on a PR now.
One aspect that may surprise is that, in order to leverage the investment in Foldable laws within cats, it seems I want to alleycats test module to depend on cats laws(actually seems that dependency already present, via alleycats-laws).