emptyTerm :: Term
emptyTerm = Term (replicate homeoOrder H.empty) Set.empty
emptyTerm :: Term
emptyTerm = Term (replicate homeoOrder H.empty) Set.empty
emptyTerm = Term (replicate homeoOrder H.empty) Set.empty