A general Profiler data type, in the same style as Trace.