Add `HasWriter` capabilities

[aspiwack]

With the using MonadWriter logic.

However, I suggest to not provide implementations in terms of MonadWriter at all. For this is generally a bad implementation. Instead, the basic instance should be from a HasState instance.