Agda.Utils.Permutation
data
Permutation
permute
idP
composeP
invertP
compactP
reverseP
expandP
topoSort