Data.Profunctor.Trace

data Trace f