heapArbitrary

ScalazArbitrary

homomorphism

applicative