T5837.hs:8:6:
    Context reduction stack overflow; size = 51
    Use -fcontext-stack=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
                                                                                                                                                            (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)))))))))))))))))))))))))))))))))))))))))))))))))))
      ~ 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)))))))))))))))))))))))))))))))))))))))))))))))))