Hola,
En base a algunos comentarios, hemos notado que el ejercicio 5 en la versión 1 y ejercicio 2 en la versión 2 (que habla del data A y definición de la función copia) tiene una sutileza que hace que la opción que habíamos considerado como correcta "snd (copia t)) siempre retorna un entero no negativo" sea inválida ante el uso de términos potencialmente infinitos.
En caso que el término t de tipo A sea potencialmente infinito la computación de copia nunca termina y por lo tanto el entero nunca es producido en la segunda componente del resultado.
Al momento de pensar el ejercico siempre tuvimos en la cabeza términos finitos, no era nuestra intención que la pregunta se focalizara en comportamientos relacionados con términos potencialmente infinitos.
Entendemos que esto puede haber llevado a varios a confusión al momento de optar por una de las alternativas y por lo tanto decidimos darles los 8 puntos a todos, hayan o no contestado este ejercicio.
Lamentamos el inconveniente.
Saludos,
Marcos y Alberto.