trace package:comonad

The trace comonad builds up a result by prepending monoidal values to each other. This module specifies the traced comonad transformer (aka the cowriter or exponential comonad transformer).