module Tc270 where

-- Type synonym stress test... though, it does seem that we
-- are quadratic in the number of nested type synonyms.

type T0 = ()
type T1 = T0
type T2 = T1
type T3 = T2
type T4 = T3
type T5 = T4
type T6 = T5
type T7 = T6
type T8 = T7
type T9 = T8
type T10 = T9
type T11 = T10
type T12 = T11
type T13 = T12
type T14 = T13
type T15 = T14
type T16 = T15
type T17 = T16
type T18 = T17
type T19 = T18
type T20 = T19
type T21 = T20
type T22 = T21
type T23 = T22
type T24 = T23
type T25 = T24
type T26 = T25
type T27 = T26
type T28 = T27
type T29 = T28
type T30 = T29
type T31 = T30
type T32 = T31
type T33 = T32
type T34 = T33
type T35 = T34
type T36 = T35
type T37 = T36
type T38 = T37
type T39 = T38
type T40 = T39
type T41 = T40
type T42 = T41
type T43 = T42
type T44 = T43
type T45 = T44
type T46 = T45
type T47 = T46
type T48 = T47
type T49 = T48
type T50 = T49
type T51 = T50
type T52 = T51
type T53 = T52
type T54 = T53
type T55 = T54
type T56 = T55
type T57 = T56
type T58 = T57
type T59 = T58
type T60 = T59
type T61 = T60
type T62 = T61
type T63 = T62
type T64 = T63
type T65 = T64
type T66 = T65
type T67 = T66
type T68 = T67
type T69 = T68
type T70 = T69
type T71 = T70
type T72 = T71
type T73 = T72
type T74 = T73
type T75 = T74
type T76 = T75
type T77 = T76
type T78 = T77
type T79 = T78
type T80 = T79
type T81 = T80
type T82 = T81
type T83 = T82
type T84 = T83
type T85 = T84
type T86 = T85
type T87 = T86
type T88 = T87
type T89 = T88
type T90 = T89
type T91 = T90
type T92 = T91
type T93 = T92
type T94 = T93
type T95 = T94
type T96 = T95
type T97 = T96
type T98 = T97
type T99 = T98
type T100 = T99
type T101 = T100
type T102 = T101
type T103 = T102
type T104 = T103
type T105 = T104
type T106 = T105
type T107 = T106
type T108 = T107
type T109 = T108
type T110 = T109
type T111 = T110
type T112 = T111
type T113 = T112
type T114 = T113
type T115 = T114
type T116 = T115
type T117 = T116
type T118 = T117
type T119 = T118
type T120 = T119
type T121 = T120
type T122 = T121
type T123 = T122
type T124 = T123
type T125 = T124
type T126 = T125
type T127 = T126
type T128 = T127
type T129 = T128
type T130 = T129
type T131 = T130
type T132 = T131
type T133 = T132
type T134 = T133
type T135 = T134
type T136 = T135
type T137 = T136
type T138 = T137
type T139 = T138
type T140 = T139
type T141 = T140
type T142 = T141
type T143 = T142
type T144 = T143
type T145 = T144
type T146 = T145
type T147 = T146
type T148 = T147
type T149 = T148
type T150 = T149
type T151 = T150
type T152 = T151
type T153 = T152
type T154 = T153
type T155 = T154
type T156 = T155
type T157 = T156
type T158 = T157
type T159 = T158
type T160 = T159
type T161 = T160
type T162 = T161
type T163 = T162
type T164 = T163
type T165 = T164
type T166 = T165
type T167 = T166
type T168 = T167
type T169 = T168
type T170 = T169
type T171 = T170
type T172 = T171
type T173 = T172
type T174 = T173
type T175 = T174
type T176 = T175
type T177 = T176
type T178 = T177
type T179 = T178
type T180 = T179
type T181 = T180
type T182 = T181
type T183 = T182
type T184 = T183
type T185 = T184
type T186 = T185
type T187 = T186
type T188 = T187
type T189 = T188
type T190 = T189
type T191 = T190
type T192 = T191
type T193 = T192
type T194 = T193
type T195 = T194
type T196 = T195
type T197 = T196
type T198 = T197
type T199 = T198
type T200 = T199
type T201 = T200
type T202 = T201
type T203 = T202
type T204 = T203
type T205 = T204
type T206 = T205
type T207 = T206
type T208 = T207
type T209 = T208
type T210 = T209
type T211 = T210
type T212 = T211
type T213 = T212
type T214 = T213
type T215 = T214
type T216 = T215
type T217 = T216
type T218 = T217
type T219 = T218
type T220 = T219
type T221 = T220
type T222 = T221
type T223 = T222
type T224 = T223
type T225 = T224
type T226 = T225
type T227 = T226
type T228 = T227
type T229 = T228
type T230 = T229
type T231 = T230
type T232 = T231
type T233 = T232
type T234 = T233
type T235 = T234
type T236 = T235
type T237 = T236
type T238 = T237
type T239 = T238
type T240 = T239
type T241 = T240
type T242 = T241
type T243 = T242
type T244 = T243
type T245 = T244
type T246 = T245
type T247 = T246
type T248 = T247
type T249 = T248
type T250 = T249
type T251 = T250
type T252 = T251
type T253 = T252
type T254 = T253
type T255 = T254
type T256 = T255
type T257 = T256
type T258 = T257
type T259 = T258
type T260 = T259
type T261 = T260
type T262 = T261
type T263 = T262
type T264 = T263
type T265 = T264
type T266 = T265
type T267 = T266
type T268 = T267
type T269 = T268
type T270 = T269
type T271 = T270
type T272 = T271
type T273 = T272
type T274 = T273
type T275 = T274
type T276 = T275
type T277 = T276
type T278 = T277
type T279 = T278
type T280 = T279
type T281 = T280
type T282 = T281
type T283 = T282
type T284 = T283
type T285 = T284
type T286 = T285
type T287 = T286
type T288 = T287
type T289 = T288
type T290 = T289
type T291 = T290
type T292 = T291
type T293 = T292
type T294 = T293
type T295 = T294
type T296 = T295
type T297 = T296
type T298 = T297
type T299 = T298
type T300 = T299
type T301 = T300
type T302 = T301
type T303 = T302
type T304 = T303
type T305 = T304
type T306 = T305
type T307 = T306
type T308 = T307
type T309 = T308
type T310 = T309
type T311 = T310
type T312 = T311
type T313 = T312
type T314 = T313
type T315 = T314
type T316 = T315
type T317 = T316
type T318 = T317
type T319 = T318
type T320 = T319
type T321 = T320
type T322 = T321
type T323 = T322
type T324 = T323
type T325 = T324
type T326 = T325
type T327 = T326
type T328 = T327
type T329 = T328
type T330 = T329
type T331 = T330
type T332 = T331
type T333 = T332
type T334 = T333
type T335 = T334
type T336 = T335
type T337 = T336
type T338 = T337
type T339 = T338
type T340 = T339
type T341 = T340
type T342 = T341
type T343 = T342
type T344 = T343
type T345 = T344
type T346 = T345
type T347 = T346
type T348 = T347
type T349 = T348
type T350 = T349
type T351 = T350
type T352 = T351
type T353 = T352
type T354 = T353
type T355 = T354
type T356 = T355
type T357 = T356
type T358 = T357
type T359 = T358
type T360 = T359
type T361 = T360
type T362 = T361
type T363 = T362
type T364 = T363
type T365 = T364
type T366 = T365
type T367 = T366
type T368 = T367
type T369 = T368
type T370 = T369
type T371 = T370
type T372 = T371
type T373 = T372
type T374 = T373
type T375 = T374
type T376 = T375
type T377 = T376
type T378 = T377
type T379 = T378
type T380 = T379
type T381 = T380
type T382 = T381
type T383 = T382
type T384 = T383
type T385 = T384
type T386 = T385
type T387 = T386
type T388 = T387
type T389 = T388
type T390 = T389
type T391 = T390
type T392 = T391
type T393 = T392
type T394 = T393
type T395 = T394
type T396 = T395
type T397 = T396
type T398 = T397
type T399 = T398
type T400 = T399
type T401 = T400
type T402 = T401
type T403 = T402
type T404 = T403
type T405 = T404
type T406 = T405
type T407 = T406
type T408 = T407
type T409 = T408
type T410 = T409
type T411 = T410
type T412 = T411
type T413 = T412
type T414 = T413
type T415 = T414
type T416 = T415
type T417 = T416
type T418 = T417
type T419 = T418
type T420 = T419
type T421 = T420
type T422 = T421
type T423 = T422
type T424 = T423
type T425 = T424
type T426 = T425
type T427 = T426
type T428 = T427
type T429 = T428
type T430 = T429
type T431 = T430
type T432 = T431
type T433 = T432
type T434 = T433
type T435 = T434
type T436 = T435
type T437 = T436
type T438 = T437
type T439 = T438
type T440 = T439
type T441 = T440
type T442 = T441
type T443 = T442
type T444 = T443
type T445 = T444
type T446 = T445
type T447 = T446
type T448 = T447
type T449 = T448
type T450 = T449
type T451 = T450
type T452 = T451
type T453 = T452
type T454 = T453
type T455 = T454
type T456 = T455
type T457 = T456
type T458 = T457
type T459 = T458
type T460 = T459
type T461 = T460
type T462 = T461
type T463 = T462
type T464 = T463
type T465 = T464
type T466 = T465
type T467 = T466
type T468 = T467
type T469 = T468
type T470 = T469
type T471 = T470
type T472 = T471
type T473 = T472
type T474 = T473
type T475 = T474
type T476 = T475
type T477 = T476
type T478 = T477
type T479 = T478
type T480 = T479
type T481 = T480
type T482 = T481
type T483 = T482
type T484 = T483
type T485 = T484
type T486 = T485
type T487 = T486
type T488 = T487
type T489 = T488
type T490 = T489
type T491 = T490
type T492 = T491
type T493 = T492
type T494 = T493
type T495 = T494
type T496 = T495
type T497 = T496
type T498 = T497
type T499 = T498
type T500 = T499
type T501 = T500
type T502 = T501
type T503 = T502
type T504 = T503
type T505 = T504
type T506 = T505
type T507 = T506
type T508 = T507
type T509 = T508
type T510 = T509
type T511 = T510
type T512 = T511
type T513 = T512
type T514 = T513
type T515 = T514
type T516 = T515
type T517 = T516
type T518 = T517
type T519 = T518
type T520 = T519
type T521 = T520
type T522 = T521
type T523 = T522
type T524 = T523
type T525 = T524
type T526 = T525
type T527 = T526
type T528 = T527
type T529 = T528
type T530 = T529
type T531 = T530
type T532 = T531
type T533 = T532
type T534 = T533
type T535 = T534
type T536 = T535
type T537 = T536
type T538 = T537
type T539 = T538
type T540 = T539
type T541 = T540
type T542 = T541
type T543 = T542
type T544 = T543
type T545 = T544
type T546 = T545
type T547 = T546
type T548 = T547
type T549 = T548
type T550 = T549
type T551 = T550
type T552 = T551
type T553 = T552
type T554 = T553
type T555 = T554
type T556 = T555
type T557 = T556
type T558 = T557
type T559 = T558
type T560 = T559
type T561 = T560
type T562 = T561
type T563 = T562
type T564 = T563
type T565 = T564
type T566 = T565
type T567 = T566
type T568 = T567
type T569 = T568
type T570 = T569
type T571 = T570
type T572 = T571
type T573 = T572
type T574 = T573
type T575 = T574
type T576 = T575
type T577 = T576
type T578 = T577
type T579 = T578
type T580 = T579
type T581 = T580
type T582 = T581
type T583 = T582
type T584 = T583
type T585 = T584
type T586 = T585
type T587 = T586
type T588 = T587
type T589 = T588
type T590 = T589
type T591 = T590
type T592 = T591
type T593 = T592
type T594 = T593
type T595 = T594
type T596 = T595
type T597 = T596
type T598 = T597
type T599 = T598
type T600 = T599
type T601 = T600
type T602 = T601
type T603 = T602
type T604 = T603
type T605 = T604
type T606 = T605
type T607 = T606
type T608 = T607
type T609 = T608
type T610 = T609
type T611 = T610
type T612 = T611
type T613 = T612
type T614 = T613
type T615 = T614
type T616 = T615
type T617 = T616
type T618 = T617
type T619 = T618
type T620 = T619
type T621 = T620
type T622 = T621
type T623 = T622
type T624 = T623
type T625 = T624
type T626 = T625
type T627 = T626
type T628 = T627
type T629 = T628
type T630 = T629
type T631 = T630
type T632 = T631
type T633 = T632
type T634 = T633
type T635 = T634
type T636 = T635
type T637 = T636
type T638 = T637
type T639 = T638
type T640 = T639
type T641 = T640
type T642 = T641
type T643 = T642
type T644 = T643
type T645 = T644
type T646 = T645
type T647 = T646
type T648 = T647
type T649 = T648
type T650 = T649
type T651 = T650
type T652 = T651
type T653 = T652
type T654 = T653
type T655 = T654
type T656 = T655
type T657 = T656
type T658 = T657
type T659 = T658
type T660 = T659
type T661 = T660
type T662 = T661
type T663 = T662
type T664 = T663
type T665 = T664
type T666 = T665
type T667 = T666
type T668 = T667
type T669 = T668
type T670 = T669
type T671 = T670
type T672 = T671
type T673 = T672
type T674 = T673
type T675 = T674
type T676 = T675
type T677 = T676
type T678 = T677
type T679 = T678
type T680 = T679
type T681 = T680
type T682 = T681
type T683 = T682
type T684 = T683
type T685 = T684
type T686 = T685
type T687 = T686
type T688 = T687
type T689 = T688
type T690 = T689
type T691 = T690
type T692 = T691
type T693 = T692
type T694 = T693
type T695 = T694
type T696 = T695
type T697 = T696
type T698 = T697
type T699 = T698
type T700 = T699
type T701 = T700
type T702 = T701
type T703 = T702
type T704 = T703
type T705 = T704
type T706 = T705
type T707 = T706
type T708 = T707
type T709 = T708
type T710 = T709
type T711 = T710
type T712 = T711
type T713 = T712
type T714 = T713
type T715 = T714
type T716 = T715
type T717 = T716
type T718 = T717
type T719 = T718
type T720 = T719
type T721 = T720
type T722 = T721
type T723 = T722
type T724 = T723
type T725 = T724
type T726 = T725
type T727 = T726
type T728 = T727
type T729 = T728
type T730 = T729
type T731 = T730
type T732 = T731
type T733 = T732
type T734 = T733
type T735 = T734
type T736 = T735
type T737 = T736
type T738 = T737
type T739 = T738
type T740 = T739
type T741 = T740
type T742 = T741
type T743 = T742
type T744 = T743
type T745 = T744
type T746 = T745
type T747 = T746
type T748 = T747
type T749 = T748
type T750 = T749
type T751 = T750
type T752 = T751
type T753 = T752
type T754 = T753
type T755 = T754
type T756 = T755
type T757 = T756
type T758 = T757
type T759 = T758
type T760 = T759
type T761 = T760
type T762 = T761
type T763 = T762
type T764 = T763
type T765 = T764
type T766 = T765
type T767 = T766
type T768 = T767
type T769 = T768
type T770 = T769
type T771 = T770
type T772 = T771
type T773 = T772
type T774 = T773
type T775 = T774
type T776 = T775
type T777 = T776
type T778 = T777
type T779 = T778
type T780 = T779
type T781 = T780
type T782 = T781
type T783 = T782
type T784 = T783
type T785 = T784
type T786 = T785
type T787 = T786
type T788 = T787
type T789 = T788
type T790 = T789
type T791 = T790
type T792 = T791
type T793 = T792
type T794 = T793
type T795 = T794
type T796 = T795
type T797 = T796
type T798 = T797
type T799 = T798
type T800 = T799
type T801 = T800
type T802 = T801
type T803 = T802
type T804 = T803
type T805 = T804
type T806 = T805
type T807 = T806
type T808 = T807
type T809 = T808
type T810 = T809
type T811 = T810
type T812 = T811
type T813 = T812
type T814 = T813
type T815 = T814
type T816 = T815
type T817 = T816
type T818 = T817
type T819 = T818
type T820 = T819
type T821 = T820
type T822 = T821
type T823 = T822
type T824 = T823
type T825 = T824
type T826 = T825
type T827 = T826
type T828 = T827
type T829 = T828
type T830 = T829
type T831 = T830
type T832 = T831
type T833 = T832
type T834 = T833
type T835 = T834
type T836 = T835
type T837 = T836
type T838 = T837
type T839 = T838
type T840 = T839
type T841 = T840
type T842 = T841
type T843 = T842
type T844 = T843
type T845 = T844
type T846 = T845
type T847 = T846
type T848 = T847
type T849 = T848
type T850 = T849
type T851 = T850
type T852 = T851
type T853 = T852
type T854 = T853
type T855 = T854
type T856 = T855
type T857 = T856
type T858 = T857
type T859 = T858
type T860 = T859
type T861 = T860
type T862 = T861
type T863 = T862
type T864 = T863
type T865 = T864
type T866 = T865
type T867 = T866
type T868 = T867
type T869 = T868
type T870 = T869
type T871 = T870
type T872 = T871
type T873 = T872
type T874 = T873
type T875 = T874
type T876 = T875
type T877 = T876
type T878 = T877
type T879 = T878
type T880 = T879
type T881 = T880
type T882 = T881
type T883 = T882
type T884 = T883
type T885 = T884
type T886 = T885
type T887 = T886
type T888 = T887
type T889 = T888
type T890 = T889
type T891 = T890
type T892 = T891
type T893 = T892
type T894 = T893
type T895 = T894
type T896 = T895
type T897 = T896
type T898 = T897
type T899 = T898
type T900 = T899
type T901 = T900
type T902 = T901
type T903 = T902
type T904 = T903
type T905 = T904
type T906 = T905
type T907 = T906
type T908 = T907
type T909 = T908
type T910 = T909
type T911 = T910
type T912 = T911
type T913 = T912
type T914 = T913
type T915 = T914
type T916 = T915
type T917 = T916
type T918 = T917
type T919 = T918
type T920 = T919
type T921 = T920
type T922 = T921
type T923 = T922
type T924 = T923
type T925 = T924
type T926 = T925
type T927 = T926
type T928 = T927
type T929 = T928
type T930 = T929
type T931 = T930
type T932 = T931
type T933 = T932
type T934 = T933
type T935 = T934
type T936 = T935
type T937 = T936
type T938 = T937
type T939 = T938
type T940 = T939
type T941 = T940
type T942 = T941
type T943 = T942
type T944 = T943
type T945 = T944
type T946 = T945
type T947 = T946
type T948 = T947
type T949 = T948
type T950 = T949
type T951 = T950
type T952 = T951
type T953 = T952
type T954 = T953
type T955 = T954
type T956 = T955
type T957 = T956
type T958 = T957
type T959 = T958
type T960 = T959
type T961 = T960
type T962 = T961
type T963 = T962
type T964 = T963
type T965 = T964
type T966 = T965
type T967 = T966
type T968 = T967
type T969 = T968
type T970 = T969
type T971 = T970
type T972 = T971
type T973 = T972
type T974 = T973
type T975 = T974
type T976 = T975
type T977 = T976
type T978 = T977
type T979 = T978
type T980 = T979
type T981 = T980
type T982 = T981
type T983 = T982
type T984 = T983
type T985 = T984
type T986 = T985
type T987 = T986
type T988 = T987
type T989 = T988
type T990 = T989
type T991 = T990
type T992 = T991
type T993 = T992
type T994 = T993
type T995 = T994
type T996 = T995
type T997 = T996
type T998 = T997
type T999 = T998
type T1000 = T999
