Buenas, sobre este ejercicio entiendo porque la d está mal, pero no entiendo porque la b está bien.
Según entiendo el tipo más general de foo es (a -> a ) -> a -> a
Los tipos
y
son equivalentes, porque la flecha asocia a la derecha.
(a -> a) -> a -> a
y
(a -> a) -> (a -> a)
son equivalentes, porque la flecha asocia a la derecha.
Ah claro, ahora entiendo.
Gracias!