Agda.Utils.IO.Directory
copyDirContent