map -package:containers -package:ghc -package:dense-linear-algebra -package:monoidal-containers -package:insert-ordered-containers package:hedgehog is:exact

map :: (MonadGen m, Ord k) => Range Int -> m (k, v) -> m (Map k v)
hedgehog Hedgehog.Gen Hedgehog.Internal.Gen
Generates a map using a Range to determine the length. This may fail to generate anything if the keys produced by the generator do not account for a large enough number of unique items to satify the required map size.