a bit more readability for MonadWriter IterT instance
MonadWriter instance for FreeT