2006-01-10 続き OCaml # let f x = x#f 1;; val f : < f : int -> ’a; .. > -> ’a = <fun> # let g xs = List.map f xs;; val g : < f : int -> 'a; .. > list -> 'a list = <fun>めでたしめでたし。