関数型言語ML (SML, OCaml, etc.), Part 6

[779 デフォルトの名無しさん 2013/10/28(月) 14:26:11.39]

let foo f g x = g (f x) ;;
val foo : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c = <fun>
って合成関数があったとして
'aの引数は計算対象外になるの？