pub type TracedInstance = EffectInstance<TraceBox>;
Implementation of Monad for Traced objects.
Monad