unification of types, just start