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