liftIO $ putStrLn $ show $ weightedShapeOf_Staged TypeChecker typechecked

  987
    404
      1
      402
        1
        400
          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
          333
            332
              330
                1
                328
                  1
                  326
                    3
                      1
                      1
                    1
                    318
                      294
                        292
                          1
                          290
                            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
                            257
                              255
                                137
                                  1
                                  135
                                    62
                                      60
                                        1
                                        58
                                          26
                                            1
                                            24
                                              4
                                                1
                                                2
                                                  1
                                              19
                                                1
                                                17
                                                  12
                                                    1
                                                    10
                                                      7
                                                        3
                                                          2
                                                            1
                                                        3
                                                          2
                                                            1
                                                      2
                                                        1
                                                  4
                                                    1
                                                    2
                                                      1
                                          14
                                            13
                                              12
                                          14
                                            13
                                              12
                                          3
                                            1
                                            1
                                      1
                                    72
                                      1
                                      70
                                        68
                                          5
                                            4
                                              1
                                              2
                                                1
                                          62
                                            60
                                              59
                                                1
                                                57
                                                  4
                                                    1
                                                    2
                                                      1
                                                  12
                                                    1
                                                    10
                                                      7
                                                        3
                                                          2
                                                            1
                                                        3
                                                          2
                                                            1
                                                      2
                                                        1
                                                  3
                                                    1
                                                    1
                                                  37
                                                    1
                                                    35
                                                      34
                                                        2
                                                          1
                                                        1
                                                        28
                                                          4
                                                            1
                                                            2
                                                              1
                                                          23
                                                            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
                                117
                                  115
                                    1
                                    113
                                      40
                                        38
                                          1
                                          36
                                            4
                                              1
                                              2
                                                1
                                            14
                                              13
                                                12
                                            14
                                              13
                                                12
                                            3
                                              1
                                              1
                                        1
                                      72
                                        1
                                        70
                                          68
                                            60
                                              59
                                                1
                                                57
                                                  4
                                                    1
                                                    2
                                                      1
                                                  12
                                                    1
                                                    10
                                                      7
                                                        3
                                                          2
                                                            1
                                                        3
                                                          2
                                                            1
                                                      2
                                                        1
                                                  3
                                                    1
                                                    1
                                                  37
                                                    1
                                                    35
                                                      34
                                                        2
                                                          1
                                                        1
                                                        28
                                                          4
                                                            1
                                                            2
                                                              1
                                                          23
                                                            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
                      14
                        2
                          1
                        11
                          9
                            1
                            7
                              2
                                1
                              4
                                2
                                  1
                                1
                          1
                      9
                        1
                        7
                          2
                            1
                          4
                            2
                              1
                            1
                    1
                    1
                    1
              1
    582
      292
        1
        290
          1
          288
            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
            221
              220
                218
                  1
                  216
                    1
                    214
                      3
                        1
                        1
                      1
                      206
                        178
                          41
                            1
                            39
                              25
                                18
                                  1
                                  16
                                    3
                                      1
                                      1
                                    1
                                    1
                                    1
                                    2
                                      1
                                    6
                                      1
                                      4
                                        2
                                          1
                                        1
                                    1
                                6
                                  4
                                    1
                                    2
                                      1
                                  1
                              1
                              12
                                10
                                  8
                                    1
                                    6
                                      1
                                      4
                                        1
                                        2
                                          1
                                  1
                                1
                          136
                            134
                              1
                              132
                                35
                                  28
                                    1
                                    26
                                      25
                                        1
                                        23
                                          3
                                            1
                                            1
                                          1
                                          1
                                          1
                                          9
                                            4
                                              1
                                              2
                                                1
                                            4
                                              1
                                              2
                                                1
                                          6
                                            1
                                            4
                                              2
                                                1
                                              1
                                          1
                                  6
                                    4
                                      1
                                      2
                                        1
                                    1
                                1
                                95
                                  93
                                    91
                                      1
                                      89
                                        1
                                        87
                                          1
                                          85
                                            4
                                              1
                                              2
                                                1
                                            80
                                              1
                                              78
                                                18
                                                  1
                                                  16
                                                    4
                                                      1
                                                      2
                                                        1
                                                    11
                                                      1
                                                      9
                                                        4
                                                          1
                                                          2
                                                            1
                                                        4
                                                          1
                                                          2
                                                            1
                                                59
                                                  1
                                                  57
                                                    56
                                                      1
                                                      54
                                                        4
                                                          1
                                                          2
                                                            1
                                                        49
                                                          1
                                                          47
                                                            42
                                                              1
                                                              40
                                                                4
                                                                  1
                                                                  2
                                                                    1
                                                                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
                        18
                          6
                            1
                            4
                              2
                                1
                              1
                          11
                            9
                              1
                              7
                                2
                                  1
                                4
                                  2
                                    1
                                  1
                            1
                        9
                          1
                          7
                            2
                              1
                            4
                              2
                                1
                              1
                      1
                      1
                      1
                1
      289
        287
          1
          285
            1
            283
              1
              1
              8
                6
                  1
                  1
                  1
                  2
                    1
                1
              1
              271
                270
                  268
                    1
                    266
                      1
                      264
                        3
                          1
                          1
                        1
                        256
                          239
                            237
                              1
                              235
                                1
                                1
                                232
                                  230
                                    228
                                      1
                                      226
                                        1
                                        224
                                          1
                                          222
                                            4
                                              1
                                              2
                                                1
                                            217
                                              1
                                              215
                                                17
                                                  1
                                                  15
                                                    12
                                                      11
                                                        1
                                                        9
                                                          3
                                                            1
                                                            1
                                                          5
                                                            3
                                                              1
                                                              1
                                                            1
                                                    2
                                                      1
                                                197
                                                  1
                                                  195
                                                    194
                                                      1
                                                      192
                                                        4
                                                          1
                                                          2
                                                            1
                                                        187
                                                          1
                                                          185
                                                            135
                                                              1
                                                              133
                                                                4
                                                                  1
                                                                  2
                                                                    1
                                                                128
                                                                  1
                                                                  126
                                                                    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
                                                                    94
                                                                      1
                                                                      92
                                                                        11
                                                                          8
                                                                            3
                                                                              2
                                                                                1
                                                                            4
                                                                              3
                                                                                1
                                                                                1
                                                                          2
                                                                            1
                                                                        1
                                                                        79
                                                                          39
                                                                            1
                                                                            37
                                                                              36
                                                                                2
                                                                                  1
                                                                                1
                                                                                29
                                                                                  4
                                                                                    1
                                                                                    2
                                                                                      1
                                                                                  24
                                                                                    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
                                                                          39
                                                                            1
                                                                            37
                                                                              36
                                                                                2
                                                                                  1
                                                                                1
                                                                                29
                                                                                  4
                                                                                    1
                                                                                    2
                                                                                      1
                                                                                  24
                                                                                    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
                          1
                          15
                            1
                            13
                              11
                                1
                                9
                                  3
                                    1
                                    1
                                  5
                                    3
                                      1
                                      1
                                    1
                              1
                        1
                        1
                        1
                  1
        1