Хочу применить функцию саму к себе, как комбинатор
на ocaml

# let k (x:'a -> 'b) = x x;;
Characters 23-24:
  let k (x:'a -> 'b) = x x;;
                         ^
This expression has type 'a -> 'b but is here used with type 'a

почему 'a не может параметризоваться как 'a -> 'b?