let merge ma mb =
    let m1 = Mark.merge ma.T.m1 mb.T.m1 in
    let m2 = Mark.merge ma.T.m2 mb.T.m2 in
      mk_m m1 m2