Module Oxcaml

val f : int -> ('a. 'a -> 'a) -> unit

Polymorphic arguments require parentheses