A writer monad for multi-line string literals