Don't implement unification by recursion