trace -package:matrix -package:extensible-effects -is:exact -package:shelly 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).