id は ($) の代わりができるというのをどこかで読みました。`($) :: (a -> b) -> (a -> b)` は id を特殊化した型になってますし、 id f x = (id f) x = f x になるので。`flip id` は flip ($) と置き換え可能で、機能的には同じだと思うんですけど、id を使うんでしょうか :thinking_face:id は ($) の代わりができるというのをどこかで読みました。`($) :: (a -> b) -> (a -> b)` は id を特殊化した型になってますし、 id f x = (id f) x = f x になるので。`flip id` は flip ($) と置き換え可能で、機能的には同じだと思うんですけど、id を使うんでしょうか :thinking_face:flip const を const id に置き換えるというテクニックもありますね．flip id と flip($)は同じ字数ですね