Control.Monad.Trans.Trace
data
TraceT
t e m α
runTraceT