unification of arrows