T5837.hs:8:6:
    Type function application stack overflow; size = 51
    Use -ftype-function-depth=N to increase stack size to N
      TF
        (TF
           (TF
              (TF
                 (TF
                    (TF
                       (TF
                          (TF
                             (TF
                                (TF
                                   (TF
                                      (TF
                                         (TF
                                            (TF
                                               (TF
                                                  (TF
                                                     (TF
                                                        (TF
                                                           (TF
                                                              (TF
                                                                 (TF
                                                                    (TF
                                                                       (TF
                                                                          (TF
                                                                             (TF
                                                                                (TF
                                                                                   (TF
                                                                                      (TF
                                                                                         (TF
                                                                                            (TF
                                                                                               (TF
                                                                                                  (TF
                                                                                                     (TF
                                                                                                        (TF
                                                                                                           (TF
                                                                                                              (TF
                                                                                                                 (TF
                                                                                                                    (TF
                                                                                                                       (TF
                                                                                                                          (TF
                                                                                                                             (TF
                                                                                                                                (TF
                                                                                                                                   (TF
                                                                                                                                      (TF
                                                                                                                                         (TF
                                                                                                                                            (TF
                                                                                                                                               (TF
                                                                                                                                                  (TF
                                                                                                                                                     (TF
                                                                                                                                                        (TF
                                                                                                                                                           a)))))))))))))))))))))))))))))))))))))))))))))))))
      ~ (TF
           (TF
              (TF
                 (TF
                    (TF
                       (TF
                          (TF
                             (TF
                                (TF
                                   (TF
                                      (TF
                                         (TF
                                            (TF
                                               (TF
                                                  (TF
                                                     (TF
                                                        (TF
                                                           (TF
                                                              (TF
                                                                 (TF
                                                                    (TF
                                                                       (TF
                                                                          (TF
                                                                             (TF
                                                                                (TF
                                                                                   (TF
                                                                                      (TF
                                                                                         (TF
                                                                                            (TF
                                                                                               (TF
                                                                                                  (TF
                                                                                                     (TF
                                                                                                        (TF
                                                                                                           (TF
                                                                                                              (TF
                                                                                                                 (TF
                                                                                                                    (TF
                                                                                                                       (TF
                                                                                                                          (TF
                                                                                                                             (TF
                                                                                                                                (TF
                                                                                                                                   (TF
                                                                                                                                      (TF
                                                                                                                                         (TF
                                                                                                                                            (TF
                                                                                                                                               (TF
                                                                                                                                                  (TF
                                                                                                                                                     (TF
                                                                                                                                                        (TF
                                                                                                                                                           (TF
                                                                                                                                                              (TF
                                                                                                                                                                 a)))))))))))))))))))))))))))))))))))))))))))))))))),
         TF
           (TF
              (TF
                 (TF
                    (TF
                       (TF
                          (TF
                             (TF
                                (TF
                                   (TF
                                      (TF
                                         (TF
                                            (TF
                                               (TF
                                                  (TF
                                                     (TF
                                                        (TF
                                                           (TF
                                                              (TF
                                                                 (TF
                                                                    (TF
                                                                       (TF
                                                                          (TF
                                                                             (TF
                                                                                (TF
                                                                                   (TF
                                                                                      (TF
                                                                                         (TF
                                                                                            (TF
                                                                                               (TF
                                                                                                  (TF
                                                                                                     (TF
                                                                                                        (TF
                                                                                                           (TF
                                                                                                              (TF
                                                                                                                 (TF
                                                                                                                    (TF
                                                                                                                       (TF
                                                                                                                          (TF
                                                                                                                             (TF
                                                                                                                                (TF
                                                                                                                                   (TF
                                                                                                                                      (TF
                                                                                                                                         (TF
                                                                                                                                            (TF
                                                                                                                                               (TF
                                                                                                                                                  (TF
                                                                                                                                                     (TF
                                                                                                                                                        (TF
                                                                                                                                                           (TF
                                                                                                                                                              (TF
                                                                                                                                                                 Int)))))))))))))))))))))))))))))))))))))))))))))))))))
    In the ambiguity check for the type signature for ‘t’:
      t :: forall a. (a ~ TF (a, Int)) => Int
    In the type signature for ‘t’: t :: (a ~ TF (a, Int)) => Int