Control.Monad.Trace.Codensity