Main para el inferidor de tipos.