Curring, partial applications, point-free style