let trace lvl name =
    Trace.func lvl name Term.pp (Pretty.pair Term.pp pp)