Agda.Utils.IO.Locale