La segunda cláusula que define f es
f (x:xs) = foo xs . (+1)
Por lo tanto el resultado de foo xs tiene que ser un numérico (por la composición con (+1)).
El tipo de foo en este ejercicio es Num a ⇒ [b] → a → a
La segunda cláusula que define f es
f (x:xs) = foo xs . (+1)
Por lo tanto el resultado de foo xs tiene que ser un numérico (por la composición con (+1)).
El tipo de foo en este ejercicio es Num a ⇒ [b] → a → a