more type unification

No match.