let rec grow (xs: int list): int =
  match xs with
    | [] -> 1
    | x :: v -> x * (grow v);;