a $ b $ c $ d は (a . b . c) d と書ける。
mapとかで処理を渡すときに
　map (\x -> a $ b $ c $ d)
と書く代わりに
　map (a . b . c)
とちょっとだけ楽ができる。
日本語で読むと「cしてからbしてaする」。
なぜか普通のaしてからbしてcするようなやつはない。>>=が似たようなもんだけど。