more type unification