Trace now templates on the computation, rather than storing it in a function pointer.