Agreed, and as another person commented, a logging system doesn't actually need to live in the (too broad) IO monad.