let pp_id fmt = function   | Modern t    -> pp fmt "Modern %a" pp_t t   | Old0 i      -> pp fmt "Old %d" i   | Old1 (a, b) -> pp fmt "Old (%d, %d)" a b