let _ =
  all
    [ all
        [ all
            [ all
                [ f
                    (all
                       [ all
                           [ all
                               [ all
                                   [ all
                                       [ all
                                           [ all
                                               [ all
                                                   [ all
                                                       [ all
                                                           [ all
                                                               [ all
                                                                   [ all
                                                                       [ all
                                                                           [ identify
                                                                           ]
                                                                       ] ] ]
                                                           ] ] ] ] ] ] ] ] ]
                       ] ) ] ] ] ]

let _ = function
  | [%p
      function
      | [%p
          function
          | [%p
              function
              | [%p
                  function
                  | [%p
                      function
                      | [%p
                          function
                          | [%p
                              function
                              | [%p
                                  function
                                  | [%p
                                      function
                                      | [%p
                                          function
                                          | [%p
                                              function
                                              | [%p
                                                  function
                                                  | [%p
                                                      function
                                                      | [%p
                                                          function
                                                          | [%p
                                                              function
                                                              | [%p
                                                                  function
                                                                  | [%p
                                                                      function
                                                                      | _ ->
                                                                          ()]
                                                                    ->
                                                                      ()] ->
                                                                  ()] ->
                                                              ()] ->
                                                          ()] ->
                                                      ()] ->
                                                  ()] ->
                                              ()] ->
                                          ()] ->
                                      ()] ->
                                  ()] ->
                              ()] ->
                          ()] ->
                      ()] ->
                  ()] ->
              ()] ->
          ()] ->
      ()
