Veamos el ejemplo de la lección anterior, retocado con nuevos tipos: