(* -no-typecheck example *)
let g x = x + 1

let rec map f = function
  | [] -> []
  | h::t -> f h :: map t

let l = map g [1; 2; 3]


 -no-typecheck example 
let g x = x + 1

let rec map f = function
  | [] -> []
  | h::t -> f h :: map t

let l = map g [1; 2; 3]

