Agda.Utils.IO
readBinaryFile'
readTextFile