I think most type inference implementations choose...
# announcements
p
I think most type inference implementations choose the most precise types in these cases