Agda.Utils.Permutation

data Permutation

permute

idP

takeP

droppedP

liftP

composeP

invertP

compactP

reverseP

expandP

topoSort

Drop (apply) and undrop (abstract)

data Drop a

class DoDrop a