Try to unify type problem