unification of function definitions