Agda.Utils.String
quote
showIndex
addFinalNewLine
indent