Type unification seems to work.