This seems relevant:
Why is the programmer being asked to do what looks to me like a job for the implementation (eta-expanding partial applications and parameters which are functions)?
This seems relevant:
Why is the programmer being asked to do what looks to me like a job for the implementation (eta-expanding partial applications and parameters which are functions)?