let
union m1 m2 =
fold add m1 m2