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