Monoid

cats

map

arbitrary

mapArbitrary

ArbitraryMap

mapGen

ArbitraryMap