diff --git a/quickcheck/arbitrary.mbt b/quickcheck/arbitrary.mbt
index c016c6d3b..a12488e0c 100644
--- a/quickcheck/arbitrary.mbt
+++ b/quickcheck/arbitrary.mbt
@@ -168,3 +168,26 @@ pub impl[X : Arbitrary] Arbitrary for Array[X] with arbitrary(size, rs) {
   let len = if size == 0 { 0 } else { rs.next_positive_int() % size }
   Array::makei(len, x => X::arbitrary(x, rs))
 }
+
+///|
+/// Returns a randomly generated map containing arbitrary key-value pairs.
+///
+/// Example:
+///
+/// ```mbt check
+/// test {
+///   let samples : Array[Map[Int, String]] = @quickcheck.samples(5)
+///   inspect(samples.length(), content="5")
+/// }
+/// ```
+pub impl[K : Arbitrary + Hash + Eq, V : Arbitrary] Arbitrary for Map[K, V] with arbitrary(
+  size,
+  rs,
+) {
+  let m : Map[K, V] = {}
+  let len = if size == 0 { 0 } else { rs.next_positive_int() % size }
+  for i in 0..<len {
+    m.set(K::arbitrary(i, rs), V::arbitrary(i, rs))
+  }
+  m
+}
diff --git a/quickcheck/pkg.generated.mbti b/quickcheck/pkg.generated.mbti
index fcc80537f..65a1b3ee0 100644
--- a/quickcheck/pkg.generated.mbti
+++ b/quickcheck/pkg.generated.mbti
@@ -38,4 +38,5 @@ pub impl Arbitrary for Bytes
 pub impl[X : Arbitrary] Arbitrary for Array[X]
 pub impl[A : Arbitrary] Arbitrary for ArrayView[A]
 pub impl[X : Arbitrary] Arbitrary for Iter[X]
+pub impl[K : Arbitrary + Hash + Eq, V : Arbitrary] Arbitrary for Map[K, V]