So here the partial application is done by making ...
# arrow
s
So here the partial application is done by making a new lambda and providing that already applied value as a constant.