flip関数とfix関数の合成関数

型

ちなみに

この a を (b -> c) と置き換えて、 ((b -> c) -> b -> c) -> b -> c とし

これの第1引数と第2引数を入れ替えると、 flip fix の型になる

参考