\import Debug.Meta
\import Meta

\meta runTimed m => run {
  \let t => time,
  \let x => nf m,
  println (time Nat.- t),
  x
}