wiring-0.4.0: Wiring, promotion and demotion of types.
Control.Monad.Trans.Writer.Strict.Wiring
wiredTell :: (Monoid w2, Monad m, Wirable w1 w2) => w1 -> WriterT w2 m () Source