That is pure and more explicit because logging is ...

# arrow

[raulraja]

That is pure and more explicit because logging is often times an effect and not something the Writer data type on itself can express.