Sym

class Permutation a

perms

lift

lift2