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