type polyapp = { f : 'a. 'a list -> unit; }

let a = [1;2;3]
let b = ["ss"; "bb"]

let apply { f = f } =
  f a;
  f b

let () =
  apply { f = (fun l -> Printf.printf "length %d\n" (List.length l)) }

length 3
length 2