Additional instances for TraceMonad to play better with other monad transformers.
Additional instances for TraceMonad to play better with other monad transformers.

coq-ext-lib/coq-compile,coq-ext-lib/coq-compile