Control.Monad.Freer.Trace
data
Trace
v
trace
runTrace