A smart compiler might recognize cases where a finite number of types suffice, and reject programs where no such bound can be deduced.