続き

# 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>

めでたしめでたし。