let pretty fmt m =
    let pm fmt m = Format.fprintf fmt "%a" Mark.pretty m
    in Format.fprintf fmt "<%a,%a>" pm m.T.m1 pm m.T.m2