Trace monotype