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