let trace lvl name = Trace.func lvl name Term.pp Three.pp