Buenas. A partir de un ejercicio de repaso se me ocurrió verificar si
foldr (\a b -> (a - b) * 2) 0 == foldr ((*2).(-)) 0
Para esto escribi la función
equifold l = foldr (\a b -> (a - b) * 2) 0 l == foldr ((*2).(-)) 0 l
Además de que la función no compila y aún no se porqué, me surgió un problema más "primitivo".
Usando el ghci intenté aplicar (*2).(-) 2 3 y falló, pero ((*2).(-) 2) 3 si funcionó.
Tenía entendido que las dos expresiones son equivalentes porque la aplicación de funciones asocia a la izquierda. No se qué se me está escapando.
Gracias