utop # List.fold_right dl (+) 0;;
- : f:(int ->                                                                          ((int -> int -> int) -> int -> '_a) -> (int -> int -> int) -> int -> '_a) ->
    init:((int -> int -> int) -> int -> '_a) -> '_a
= <fun>