>>357
なるホドォ

((A) -> B) -> C
これは、
引数 ((A) -> B)
戻り値 C

ですね。