Showing a particular mapping to the homogeneous result type Homo Int.
(Compare to the original.)
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