module Function: sig .. end
sig
end
fun x -> f (g x)
val ($) : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
('a -> 'b) -> ('c -> 'a) -> 'c -> 'b