Hola.
Este ejercicio pide indicar el resultado de expresiones a partir de las siguientes definiciones:
a = map repeat b
b = 1 : map (+1) b
c = reverse a
Tengo dudas con la (e) (head (foldr (:) c [[1, 2]])), que da [1,2]. Pero no entiendo cómo. c es [...,[3,3,3,...],[2,2,2,...],[1,1,1,...]], verdad? como aplico la definición de foldr entonces? Supongo que gracias a la evaluación perezosa no es necesario pero justo acá no me doy cuenta cómo esta evaluando.