method pp_tau_adt fmt a ts = 
    match ts with
      | [] -> self#pp_id fmt a
      | [t] -> Format.fprintf fmt "@[%a %a@]" self#pp_tau t self#pp_id a
      | ts -> Format.fprintf fmt "@[%a %a@]" (pp_tuple self#pp_tau) ts self#pp_id a