org.specs2.control.eff.WriterEffect
support trait for folding values while possibly keeping some internal state
support trait for folding values while possibly keeping some internal state