liftIO $ putStrLn $ show $ weightedShapeOfStaged TypeChecker typechecked

842
  841
    334
      1
      332
        7
          1
          5
            1
            3
              1
              1
        7
          1
          5
            1
            3
              1
              1
        51
          49
            1
            1
            44
              20
                17
                  8
                    2
                      1
                    5
                      2
                        1
                      2
                        1
                  8
                    2
                      1
                    5
                      2
                        1
                      2
                        1
                2
                  1
              23
                11
                  7
                    3
                      2
                        1
                    3
                      2
                        1
                  3
                    2
                      1
                11
                  7
                    3
                      2
                        1
                    3
                      2
                        1
                  3
                    2
                      1
            2
              1
          1
        1
        265
          264
            262
              1
              260
                3
                  1
                  1
                1
                252
                  229
                    227
                      1
                      225
                        31
                          4
                            1
                            2
                              1
                          26
                            24
                              1
                              22
                                11
                                  4
                                    1
                                    2
                                      1
                                  6
                                    4
                                      1
                                      2
                                        1
                                    1
                                1
                                9
                                  1
                                  7
                                    2
                                      1
                                    4
                                      2
                                        1
                                      1
                            1
                        1
                        192
                          190
                            101
                              1
                              99
                                33
                                  31
                                    1
                                    29
                                      19
                                        1
                                        17
                                          12
                                            1
                                            10
                                              7
                                                3
                                                  2
                                                    1
                                                3
                                                  2
                                                    1
                                              2
                                                1
                                          4
                                            1
                                            2
                                              1
                                      3
                                        2
                                          1
                                      3
                                        2
                                          1
                                      3
                                        1
                                        1
                                  1
                                65
                                  1
                                  63
                                    61
                                      5
                                        4
                                          1
                                          2
                                            1
                                      55
                                        53
                                          52
                                            1
                                            50
                                              4
                                                1
                                                2
                                                  1
                                              12
                                                1
                                                10
                                                  7
                                                    3
                                                      2
                                                        1
                                                    3
                                                      2
                                                        1
                                                  2
                                                    1
                                              3
                                                1
                                                1
                                              30
                                                1
                                                28
                                                  27
                                                    2
                                                      1
                                                    1
                                                    21
                                                      12
                                                        1
                                                        10
                                                          7
                                                            3
                                                              2
                                                                1
                                                            3
                                                              2
                                                                1
                                                          2
                                                            1
                                                      8
                                                        1
                                                        6
                                                          5
                                                            1
                                                            3
                                                              1
                                                              1
                                                    2
                                                      1
                                        1
                                    1
                            88
                              86
                                1
                                84
                                  18
                                    16
                                      1
                                      14
                                        4
                                          1
                                          2
                                            1
                                        3
                                          2
                                            1
                                        3
                                          2
                                            1
                                        3
                                          1
                                          1
                                    1
                                  65
                                    1
                                    63
                                      61
                                        53
                                          52
                                            1
                                            50
                                              4
                                                1
                                                2
                                                  1
                                              12
                                                1
                                                10
                                                  7
                                                    3
                                                      2
                                                        1
                                                    3
                                                      2
                                                        1
                                                  2
                                                    1
                                              3
                                                1
                                                1
                                              30
                                                1
                                                28
                                                  27
                                                    2
                                                      1
                                                    1
                                                    21
                                                      12
                                                        1
                                                        10
                                                          7
                                                            3
                                                              2
                                                                1
                                                            3
                                                              2
                                                                1
                                                          2
                                                            1
                                                      8
                                                        1
                                                        6
                                                          5
                                                            1
                                                            3
                                                              1
                                                              1
                                                    2
                                                      1
                                        7
                                          5
                                            4
                                              1
                                              2
                                                1
                                          1
                                      1
                              1
                          1
                    1
                  22
                    2
                      1
                    19
                      9
                        1
                        7
                          2
                            1
                          4
                            2
                              1
                            1
                      9
                        1
                        7
                          2
                            1
                          4
                            2
                              1
                            1
                1
                1
                1
            1
    506
      257
        1
        255
          7
            1
            5
              1
              3
                1
                1
          7
            1
            5
              1
              3
                1
                1
          51
            49
              1
              1
              44
                20
                  17
                    8
                      2
                        1
                      5
                        2
                          1
                        2
                          1
                    8
                      2
                        1
                      5
                        2
                          1
                        2
                          1
                  2
                    1
                23
                  11
                    7
                      3
                        2
                          1
                      3
                        2
                          1
                    3
                      2
                        1
                  11
                    7
                      3
                        2
                          1
                      3
                        2
                          1
                    3
                      2
                        1
              2
                1
            1
          1
          188
            187
              185
                1
                183
                  3
                    1
                    1
                  1
                  175
                    148
                      40
                        1
                        38
                          24
                            17
                              1
                              15
                                3
                                  1
                                  1
                                1
                                1
                                1
                                2
                                  1
                                6
                                  1
                                  4
                                    2
                                      1
                                    1
                            6
                              4
                                1
                                2
                                  1
                              1
                          1
                          12
                            10
                              8
                                1
                                6
                                  1
                                  4
                                    1
                                    2
                                      1
                              1
                            1
                      107
                        105
                          1
                          103
                            34
                              27
                                1
                                25
                                  24
                                    1
                                    22
                                      3
                                        1
                                        1
                                      1
                                      1
                                      1
                                      9
                                        4
                                          1
                                          2
                                            1
                                        4
                                          1
                                          2
                                            1
                                      6
                                        1
                                        4
                                          2
                                            1
                                          1
                              6
                                4
                                  1
                                  2
                                    1
                                1
                            1
                            67
                              65
                                63
                                  1
                                  61
                                    1
                                    59
                                      1
                                      57
                                        11
                                          1
                                          9
                                            4
                                              1
                                              2
                                                1
                                            4
                                              1
                                              2
                                                1
                                        45
                                          1
                                          43
                                            42
                                              1
                                              40
                                                35
                                                  1
                                                  33
                                                    28
                                                      1
                                                      26
                                                        23
                                                          11
                                                            7
                                                              3
                                                                2
                                                                  1
                                                              3
                                                                2
                                                                  1
                                                            3
                                                              2
                                                                1
                                                          11
                                                            7
                                                              3
                                                                2
                                                                  1
                                                              3
                                                                2
                                                                  1
                                                            3
                                                              2
                                                                1
                                                        2
                                                          1
                                                    4
                                                      1
                                                      2
                                                        1
                                                4
                                                  1
                                                  2
                                                    1
                                1
                              1
                        1
                    26
                      6
                        1
                        4
                          2
                            1
                          1
                      19
                        9
                          1
                          7
                            2
                              1
                            4
                              2
                                1
                              1
                        9
                          1
                          7
                            2
                              1
                            4
                              2
                                1
                              1
                  1
                  1
                  1
              1
      248
        246
          1
          244
            1
            1
            8
              6
                1
                1
                1
                2
                  1
              1
            1
            232
              231
                229
                  1
                  227
                    3
                      1
                      1
                    1
                    219
                      203
                        201
                          1
                          199
                            1
                            1
                            196
                              194
                                192
                                  1
                                  190
                                    1
                                    188
                                      1
                                      186
                                        17
                                          1
                                          15
                                            12
                                              11
                                                1
                                                9
                                                  3
                                                    1
                                                    1
                                                  5
                                                    3
                                                      1
                                                      1
                                                    1
                                            2
                                              1
                                        168
                                          1
                                          166
                                            165
                                              1
                                              163
                                                113
                                                  1
                                                  111
                                                    31
                                                      1
                                                      29
                                                        26
                                                          11
                                                            7
                                                              3
                                                                2
                                                                  1
                                                              3
                                                                2
                                                                  1
                                                            3
                                                              2
                                                                1
                                                          14
                                                            9
                                                              4
                                                                3
                                                                  1
                                                                  1
                                                              4
                                                                3
                                                                  1
                                                                  1
                                                            4
                                                              3
                                                                1
                                                                1
                                                        2
                                                          1
                                                    79
                                                      1
                                                      77
                                                        11
                                                          8
                                                            3
                                                              2
                                                                1
                                                            4
                                                              3
                                                                1
                                                                1
                                                          2
                                                            1
                                                        65
                                                          32
                                                            1
                                                            30
                                                              29
                                                                2
                                                                  1
                                                                1
                                                                22
                                                                  13
                                                                    1
                                                                    11
                                                                      8
                                                                        3
                                                                          2
                                                                            1
                                                                        4
                                                                          3
                                                                            1
                                                                            1
                                                                      2
                                                                        1
                                                                  8
                                                                    1
                                                                    6
                                                                      5
                                                                        1
                                                                        3
                                                                          1
                                                                          1
                                                                3
                                                                  1
                                                                  1
                                                          32
                                                            1
                                                            30
                                                              29
                                                                2
                                                                  1
                                                                1
                                                                22
                                                                  13
                                                                    1
                                                                    11
                                                                      8
                                                                        3
                                                                          2
                                                                            1
                                                                        4
                                                                          3
                                                                            1
                                                                            1
                                                                      2
                                                                        1
                                                                  8
                                                                    1
                                                                    6
                                                                      5
                                                                        1
                                                                        3
                                                                          1
                                                                          1
                                                                3
                                                                  1
                                                                  1
                                                49
                                                  1
                                                  47
                                                    45
                                                      21
                                                        20
                                                          1
                                                          18
                                                            13
                                                              1
                                                              11
                                                                10
                                                                  2
                                                                    1
                                                                  1
                                                                  3
                                                                    2
                                                                      1
                                                                  3
                                                                    1
                                                                    1
                                                            4
                                                              1
                                                              2
                                                                1
                                                      23
                                                        21
                                                          20
                                                            1
                                                            18
                                                              13
                                                                1
                                                                11
                                                                  10
                                                                    2
                                                                      1
                                                                    1
                                                                    3
                                                                      2
                                                                        1
                                                                    3
                                                                      1
                                                                      1
                                                              4
                                                                1
                                                                2
                                                                  1
                                                        1
                                                    1
                                1
                              1
                        1
                      15
                        1
                        13
                          11
                            1
                            9
                              3
                                1
                                1
                              5
                                3
                                  1
                                  1
                                1
                          1
                    1
                    1
                    1
                1
        1