: fs(s, f) f s map ; : f1 2 * ; : f2 sq ; #f1 #fs curry => fsf1 #f2 #fs curry => fsf2