let strict_union m1 m2 =
    fold strict_add m1 m2