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