Error en ejercicio de autoevaluación de tipos algebraicos