scalaz
A monad transformer stack yielding (R, S1) => F[(W, A, S2)].
(R, S1) => F[(W, A, S2)]
Discards the writer component.
A monad transformer stack yielding
(R, S1) => F[(W, A, S2)]
.