-- | Equality dictionary for term-level equality
--
canEq :: Term n -> Term n -> Bool
canEq TList{} TList{} = True
canEq :: Term n -> Term n -> Bool
canEq TList{} TList{} = True
canEq TList{} TList{} = True