Darcs.Patch.Permutations
type CommuteFn p1 p2