Contextualize Trace.hs