Agda.Utils.IO.UTF8

readTextFile

writeFile