map -package:containers -package:basement -package:base-compat-batteries -package:invertible -package:ghc -package:monoidal-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.