This method introduces an important way for the effectful backends to allow tracing.
This method introduces an important way for the effectful backends to allow tracing. As Kleisli types form the backend of tracing and these transformations are non-trivial.