#let rec foldr f a l =
    match l with
    [] -> []
    | x::xs -> f x (foldr f a xs);;
foldr : ('a -> 'b list -> 'b list) -> 'c -> 'a list -> 'b list = <fun>