IN: Unify types