let list l =   fun ~var_count ->     `List (List.map ~f:(fun a -> a ~var_count) l)