Ejemplo Verificación de Tipos