Agda.Utils.Permutation.Tests