Temporarily mark T1969 perf test as broken (#12437)
[ghc.git] / testsuite / tests / perf / compiler / T5642.hs
1 {-# LANGUAGE TypeOperators #-}
2 {-# LANGUAGE TypeFamilies #-}
3 {-# LANGUAGE DataKinds #-}
4 {-# LANGUAGE DeriveGeneric #-}
5
6 module GenBigTypes where
7
8 import GHC.Generics
9
10 data BigSum =
11 C0 | C1 | C2 | C3 | C4 | C5 | C6 | C7 | C8 | C9
12 | C10 | C11 | C12 | C13 | C14 | C15 | C16 | C17 | C18 | C19
13 | C20 | C21 | C22 | C23 | C24 | C25 | C26 | C27 | C28 | C29
14 | C30 | C31 | C32 | C33 | C34 | C35 | C36 | C37 | C38 | C39
15 | C40 | C41 | C42 | C43 | C44 | C45 | C46 | C47 | C48 | C49
16 | C50 | C51 | C52 | C53 | C54 | C55 | C56 | C57 | C58 | C59
17 | C60 | C61 | C62 | C63 | C64 | C65 | C66 | C67 | C68 | C69
18 | C70 | C71 | C72 | C73 | C74 | C75 | C76 | C77 | C78 | C79
19 | C80 | C81 | C82 | C83 | C84 | C85 | C86 | C87 | C88 | C89
20 | C90 | C91 | C92 | C93 | C94 | C95 | C96 | C97 | C98 | C99
21 {-
22 | C100 | C101 | C102 | C103 | C104 | C105 | C106 | C107 | C108 | C109
23 | C110 | C111 | C112 | C113 | C114 | C115 | C116 | C117 | C118 | C119
24 | C120 | C121 | C122 | C123 | C124 | C125 | C126 | C127 | C128 | C129
25 | C130 | C131 | C132 | C133 | C134 | C135 | C136 | C137 | C138 | C139
26 | C140 | C141 | C142 | C143 | C144 | C145 | C146 | C147 | C148 | C149
27 | C150 | C151 | C152 | C153 | C154 | C155 | C156 | C157 | C158 | C159
28 | C160 | C161 | C162 | C163 | C164 | C165 | C166 | C167 | C168 | C169
29 | C170 | C171 | C172 | C173 | C174 | C175 | C176 | C177 | C178 | C179
30 | C180 | C181 | C182 | C183 | C184 | C185 | C186 | C187 | C188 | C189
31 | C190 | C191 | C192 | C193 | C194 | C195 | C196 | C197 | C198 | C199
32 | C200 | C201 | C202 | C203 | C204 | C205 | C206 | C207 | C208 | C209
33 | C210 | C211 | C212 | C213 | C214 | C215 | C216 | C217 | C218 | C219
34 | C220 | C221 | C222 | C223 | C224 | C225 | C226 | C227 | C228 | C229
35 | C230 | C231 | C232 | C233 | C234 | C235 | C236 | C237 | C238 | C239
36 | C240 | C241 | C242 | C243 | C244 | C245 | C246 | C247 | C248 | C249
37 | C250 | C251 | C252 | C253 | C254 | C255 | C256 | C257 | C258 | C259
38 | C260 | C261 | C262 | C263 | C264 | C265 | C266 | C267 | C268 | C269
39 | C270 | C271 | C272 | C273 | C274 | C275 | C276 | C277 | C278 | C279
40 | C280 | C281 | C282 | C283 | C284 | C285 | C286 | C287 | C288 | C289
41 | C290 | C291 | C292 | C293 | C294 | C295 | C296 | C297 | C298 | C299
42 --deriving Generic
43 -}
44
45 instance Generic BigSum where
46 type Rep BigSum = Rep_BigSum
47 from x = M1 (case x of
48 C0 -> L1 (L1 (L1 (L1 (L1 (L1 (M1 U1))))))
49 C1 -> L1 (L1 (L1 (L1 (L1 (R1 (L1 (M1 U1)))))))
50 C2 -> L1 (L1 (L1 (L1 (L1 (R1 (R1 (M1 U1)))))))
51 C3 -> L1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))
52 C4 -> L1 (L1 (L1 (L1 (R1 (R1 (L1 (M1 U1)))))))
53 C5 -> L1 (L1 (L1 (L1 (R1 (R1 (R1 (M1 U1)))))))
54 C6 -> L1 (L1 (L1 (R1 (L1 (L1 (M1 U1))))))
55 C7 -> L1 (L1 (L1 (R1 (L1 (R1 (L1 (M1 U1)))))))
56 C8 -> L1 (L1 (L1 (R1 (L1 (R1 (R1 (M1 U1)))))))
57 C9 -> L1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))
58 C10 -> L1 (L1 (L1 (R1 (R1 (R1 (L1 (M1 U1)))))))
59 C11 -> L1 (L1 (L1 (R1 (R1 (R1 (R1 (M1 U1)))))))
60 C12 -> L1 (L1 (R1 (L1 (L1 (L1 (M1 U1))))))
61 C13 -> L1 (L1 (R1 (L1 (L1 (R1 (L1 (M1 U1)))))))
62 C14 -> L1 (L1 (R1 (L1 (L1 (R1 (R1 (M1 U1)))))))
63 C15 -> L1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))
64 C16 -> L1 (L1 (R1 (L1 (R1 (R1 (L1 (M1 U1)))))))
65 C17 -> L1 (L1 (R1 (L1 (R1 (R1 (R1 (M1 U1)))))))
66 C18 -> L1 (L1 (R1 (R1 (L1 (L1 (M1 U1))))))
67 C19 -> L1 (L1 (R1 (R1 (L1 (R1 (L1 (M1 U1)))))))
68 C20 -> L1 (L1 (R1 (R1 (L1 (R1 (R1 (M1 U1)))))))
69 C21 -> L1 (L1 (R1 (R1 (R1 (L1 (L1 (M1 U1)))))))
70 C22 -> L1 (L1 (R1 (R1 (R1 (L1 (R1 (M1 U1)))))))
71 C23 -> L1 (L1 (R1 (R1 (R1 (R1 (L1 (M1 U1)))))))
72 C24 -> L1 (L1 (R1 (R1 (R1 (R1 (R1 (M1 U1)))))))
73 C25 -> L1 (R1 (L1 (L1 (L1 (L1 (M1 U1))))))
74 C26 -> L1 (R1 (L1 (L1 (L1 (R1 (L1 (M1 U1)))))))
75 C27 -> L1 (R1 (L1 (L1 (L1 (R1 (R1 (M1 U1)))))))
76 C28 -> L1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))
77 C29 -> L1 (R1 (L1 (L1 (R1 (R1 (L1 (M1 U1)))))))
78 C30 -> L1 (R1 (L1 (L1 (R1 (R1 (R1 (M1 U1)))))))
79 C31 -> L1 (R1 (L1 (R1 (L1 (L1 (M1 U1))))))
80 C32 -> L1 (R1 (L1 (R1 (L1 (R1 (L1 (M1 U1)))))))
81 C33 -> L1 (R1 (L1 (R1 (L1 (R1 (R1 (M1 U1)))))))
82 C34 -> L1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))
83 C35 -> L1 (R1 (L1 (R1 (R1 (R1 (L1 (M1 U1)))))))
84 C36 -> L1 (R1 (L1 (R1 (R1 (R1 (R1 (M1 U1)))))))
85 C37 -> L1 (R1 (R1 (L1 (L1 (L1 (M1 U1))))))
86 C38 -> L1 (R1 (R1 (L1 (L1 (R1 (L1 (M1 U1)))))))
87 C39 -> L1 (R1 (R1 (L1 (L1 (R1 (R1 (M1 U1)))))))
88 C40 -> L1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))
89 C41 -> L1 (R1 (R1 (L1 (R1 (R1 (L1 (M1 U1)))))))
90 C42 -> L1 (R1 (R1 (L1 (R1 (R1 (R1 (M1 U1)))))))
91 C43 -> L1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))
92 C44 -> L1 (R1 (R1 (R1 (L1 (R1 (L1 (M1 U1)))))))
93 C45 -> L1 (R1 (R1 (R1 (L1 (R1 (R1 (M1 U1)))))))
94 C46 -> L1 (R1 (R1 (R1 (R1 (L1 (L1 (M1 U1)))))))
95 C47 -> L1 (R1 (R1 (R1 (R1 (L1 (R1 (M1 U1)))))))
96 C48 -> L1 (R1 (R1 (R1 (R1 (R1 (L1 (M1 U1)))))))
97 C49 -> L1 (R1 (R1 (R1 (R1 (R1 (R1 (M1 U1)))))))
98 C50 -> R1 (L1 (L1 (L1 (L1 (L1 (M1 U1))))))
99 C51 -> R1 (L1 (L1 (L1 (L1 (R1 (L1 (M1 U1)))))))
100 C52 -> R1 (L1 (L1 (L1 (L1 (R1 (R1 (M1 U1)))))))
101 C53 -> R1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))
102 C54 -> R1 (L1 (L1 (L1 (R1 (R1 (L1 (M1 U1)))))))
103 C55 -> R1 (L1 (L1 (L1 (R1 (R1 (R1 (M1 U1)))))))
104 C56 -> R1 (L1 (L1 (R1 (L1 (L1 (M1 U1))))))
105 C57 -> R1 (L1 (L1 (R1 (L1 (R1 (L1 (M1 U1)))))))
106 C58 -> R1 (L1 (L1 (R1 (L1 (R1 (R1 (M1 U1)))))))
107 C59 -> R1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))
108 C60 -> R1 (L1 (L1 (R1 (R1 (R1 (L1 (M1 U1)))))))
109 C61 -> R1 (L1 (L1 (R1 (R1 (R1 (R1 (M1 U1)))))))
110 C62 -> R1 (L1 (R1 (L1 (L1 (L1 (M1 U1))))))
111 C63 -> R1 (L1 (R1 (L1 (L1 (R1 (L1 (M1 U1)))))))
112 C64 -> R1 (L1 (R1 (L1 (L1 (R1 (R1 (M1 U1)))))))
113 C65 -> R1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))
114 C66 -> R1 (L1 (R1 (L1 (R1 (R1 (L1 (M1 U1)))))))
115 C67 -> R1 (L1 (R1 (L1 (R1 (R1 (R1 (M1 U1)))))))
116 C68 -> R1 (L1 (R1 (R1 (L1 (L1 (M1 U1))))))
117 C69 -> R1 (L1 (R1 (R1 (L1 (R1 (L1 (M1 U1)))))))
118 C70 -> R1 (L1 (R1 (R1 (L1 (R1 (R1 (M1 U1)))))))
119 C71 -> R1 (L1 (R1 (R1 (R1 (L1 (L1 (M1 U1)))))))
120 C72 -> R1 (L1 (R1 (R1 (R1 (L1 (R1 (M1 U1)))))))
121 C73 -> R1 (L1 (R1 (R1 (R1 (R1 (L1 (M1 U1)))))))
122 C74 -> R1 (L1 (R1 (R1 (R1 (R1 (R1 (M1 U1)))))))
123 C75 -> R1 (R1 (L1 (L1 (L1 (L1 (M1 U1))))))
124 C76 -> R1 (R1 (L1 (L1 (L1 (R1 (L1 (M1 U1)))))))
125 C77 -> R1 (R1 (L1 (L1 (L1 (R1 (R1 (M1 U1)))))))
126 C78 -> R1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))
127 C79 -> R1 (R1 (L1 (L1 (R1 (R1 (L1 (M1 U1)))))))
128 C80 -> R1 (R1 (L1 (L1 (R1 (R1 (R1 (M1 U1)))))))
129 C81 -> R1 (R1 (L1 (R1 (L1 (L1 (M1 U1))))))
130 C82 -> R1 (R1 (L1 (R1 (L1 (R1 (L1 (M1 U1)))))))
131 C83 -> R1 (R1 (L1 (R1 (L1 (R1 (R1 (M1 U1)))))))
132 C84 -> R1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))
133 C85 -> R1 (R1 (L1 (R1 (R1 (R1 (L1 (M1 U1)))))))
134 C86 -> R1 (R1 (L1 (R1 (R1 (R1 (R1 (M1 U1)))))))
135 C87 -> R1 (R1 (R1 (L1 (L1 (L1 (M1 U1))))))
136 C88 -> R1 (R1 (R1 (L1 (L1 (R1 (L1 (M1 U1)))))))
137 C89 -> R1 (R1 (R1 (L1 (L1 (R1 (R1 (M1 U1)))))))
138 C90 -> R1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))
139 C91 -> R1 (R1 (R1 (L1 (R1 (R1 (L1 (M1 U1)))))))
140 C92 -> R1 (R1 (R1 (L1 (R1 (R1 (R1 (M1 U1)))))))
141 C93 -> R1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))
142 C94 -> R1 (R1 (R1 (R1 (L1 (R1 (L1 (M1 U1)))))))
143 C95 -> R1 (R1 (R1 (R1 (L1 (R1 (R1 (M1 U1)))))))
144 C96 -> R1 (R1 (R1 (R1 (R1 (L1 (L1 (M1 U1)))))))
145 C97 -> R1 (R1 (R1 (R1 (R1 (L1 (R1 (M1 U1)))))))
146 C98 -> R1 (R1 (R1 (R1 (R1 (R1 (L1 (M1 U1)))))))
147 C99 -> R1 (R1 (R1 (R1 (R1 (R1 (R1 (M1 U1))))))))
148 to (M1 x) = case x of
149 L1 (L1 (L1 (L1 (L1 (L1 (M1 U1)))))) -> C0
150 L1 (L1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))) -> C1
151 L1 (L1 (L1 (L1 (L1 (R1 (R1 (M1 U1))))))) -> C2
152 L1 (L1 (L1 (L1 (R1 (L1 (M1 U1)))))) -> C3
153 L1 (L1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))) -> C4
154 L1 (L1 (L1 (L1 (R1 (R1 (R1 (M1 U1))))))) -> C5
155 L1 (L1 (L1 (R1 (L1 (L1 (M1 U1)))))) -> C6
156 L1 (L1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))) -> C7
157 L1 (L1 (L1 (R1 (L1 (R1 (R1 (M1 U1))))))) -> C8
158 L1 (L1 (L1 (R1 (R1 (L1 (M1 U1)))))) -> C9
159 L1 (L1 (L1 (R1 (R1 (R1 (L1 (M1 U1))))))) -> C10
160 L1 (L1 (L1 (R1 (R1 (R1 (R1 (M1 U1))))))) -> C11
161 L1 (L1 (R1 (L1 (L1 (L1 (M1 U1)))))) -> C12
162 L1 (L1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))) -> C13
163 L1 (L1 (R1 (L1 (L1 (R1 (R1 (M1 U1))))))) -> C14
164 L1 (L1 (R1 (L1 (R1 (L1 (M1 U1)))))) -> C15
165 L1 (L1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))) -> C16
166 L1 (L1 (R1 (L1 (R1 (R1 (R1 (M1 U1))))))) -> C17
167 L1 (L1 (R1 (R1 (L1 (L1 (M1 U1)))))) -> C18
168 L1 (L1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))) -> C19
169 L1 (L1 (R1 (R1 (L1 (R1 (R1 (M1 U1))))))) -> C20
170 L1 (L1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))) -> C21
171 L1 (L1 (R1 (R1 (R1 (L1 (R1 (M1 U1))))))) -> C22
172 L1 (L1 (R1 (R1 (R1 (R1 (L1 (M1 U1))))))) -> C23
173 L1 (L1 (R1 (R1 (R1 (R1 (R1 (M1 U1))))))) -> C24
174 L1 (R1 (L1 (L1 (L1 (L1 (M1 U1)))))) -> C25
175 L1 (R1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))) -> C26
176 L1 (R1 (L1 (L1 (L1 (R1 (R1 (M1 U1))))))) -> C27
177 L1 (R1 (L1 (L1 (R1 (L1 (M1 U1)))))) -> C28
178 L1 (R1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))) -> C29
179 L1 (R1 (L1 (L1 (R1 (R1 (R1 (M1 U1))))))) -> C30
180 L1 (R1 (L1 (R1 (L1 (L1 (M1 U1)))))) -> C31
181 L1 (R1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))) -> C32
182 L1 (R1 (L1 (R1 (L1 (R1 (R1 (M1 U1))))))) -> C33
183 L1 (R1 (L1 (R1 (R1 (L1 (M1 U1)))))) -> C34
184 L1 (R1 (L1 (R1 (R1 (R1 (L1 (M1 U1))))))) -> C35
185 L1 (R1 (L1 (R1 (R1 (R1 (R1 (M1 U1))))))) -> C36
186 L1 (R1 (R1 (L1 (L1 (L1 (M1 U1)))))) -> C37
187 L1 (R1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))) -> C38
188 L1 (R1 (R1 (L1 (L1 (R1 (R1 (M1 U1))))))) -> C39
189 L1 (R1 (R1 (L1 (R1 (L1 (M1 U1)))))) -> C40
190 L1 (R1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))) -> C41
191 L1 (R1 (R1 (L1 (R1 (R1 (R1 (M1 U1))))))) -> C42
192 L1 (R1 (R1 (R1 (L1 (L1 (M1 U1)))))) -> C43
193 L1 (R1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))) -> C44
194 L1 (R1 (R1 (R1 (L1 (R1 (R1 (M1 U1))))))) -> C45
195 L1 (R1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))) -> C46
196 L1 (R1 (R1 (R1 (R1 (L1 (R1 (M1 U1))))))) -> C47
197 L1 (R1 (R1 (R1 (R1 (R1 (L1 (M1 U1))))))) -> C48
198 L1 (R1 (R1 (R1 (R1 (R1 (R1 (M1 U1))))))) -> C49
199 R1 (L1 (L1 (L1 (L1 (L1 (M1 U1)))))) -> C50
200 R1 (L1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))) -> C51
201 R1 (L1 (L1 (L1 (L1 (R1 (R1 (M1 U1))))))) -> C52
202 R1 (L1 (L1 (L1 (R1 (L1 (M1 U1)))))) -> C53
203 R1 (L1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))) -> C54
204 R1 (L1 (L1 (L1 (R1 (R1 (R1 (M1 U1))))))) -> C55
205 R1 (L1 (L1 (R1 (L1 (L1 (M1 U1)))))) -> C56
206 R1 (L1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))) -> C57
207 R1 (L1 (L1 (R1 (L1 (R1 (R1 (M1 U1))))))) -> C58
208 R1 (L1 (L1 (R1 (R1 (L1 (M1 U1)))))) -> C59
209 R1 (L1 (L1 (R1 (R1 (R1 (L1 (M1 U1))))))) -> C60
210 R1 (L1 (L1 (R1 (R1 (R1 (R1 (M1 U1))))))) -> C61
211 R1 (L1 (R1 (L1 (L1 (L1 (M1 U1)))))) -> C62
212 R1 (L1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))) -> C63
213 R1 (L1 (R1 (L1 (L1 (R1 (R1 (M1 U1))))))) -> C64
214 R1 (L1 (R1 (L1 (R1 (L1 (M1 U1)))))) -> C65
215 R1 (L1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))) -> C66
216 R1 (L1 (R1 (L1 (R1 (R1 (R1 (M1 U1))))))) -> C67
217 R1 (L1 (R1 (R1 (L1 (L1 (M1 U1)))))) -> C68
218 R1 (L1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))) -> C69
219 R1 (L1 (R1 (R1 (L1 (R1 (R1 (M1 U1))))))) -> C70
220 R1 (L1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))) -> C71
221 R1 (L1 (R1 (R1 (R1 (L1 (R1 (M1 U1))))))) -> C72
222 R1 (L1 (R1 (R1 (R1 (R1 (L1 (M1 U1))))))) -> C73
223 R1 (L1 (R1 (R1 (R1 (R1 (R1 (M1 U1))))))) -> C74
224 R1 (R1 (L1 (L1 (L1 (L1 (M1 U1)))))) -> C75
225 R1 (R1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))) -> C76
226 R1 (R1 (L1 (L1 (L1 (R1 (R1 (M1 U1))))))) -> C77
227 R1 (R1 (L1 (L1 (R1 (L1 (M1 U1)))))) -> C78
228 R1 (R1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))) -> C79
229 R1 (R1 (L1 (L1 (R1 (R1 (R1 (M1 U1))))))) -> C80
230 R1 (R1 (L1 (R1 (L1 (L1 (M1 U1)))))) -> C81
231 R1 (R1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))) -> C82
232 R1 (R1 (L1 (R1 (L1 (R1 (R1 (M1 U1))))))) -> C83
233 R1 (R1 (L1 (R1 (R1 (L1 (M1 U1)))))) -> C84
234 R1 (R1 (L1 (R1 (R1 (R1 (L1 (M1 U1))))))) -> C85
235 R1 (R1 (L1 (R1 (R1 (R1 (R1 (M1 U1))))))) -> C86
236 R1 (R1 (R1 (L1 (L1 (L1 (M1 U1)))))) -> C87
237 R1 (R1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))) -> C88
238 R1 (R1 (R1 (L1 (L1 (R1 (R1 (M1 U1))))))) -> C89
239 R1 (R1 (R1 (L1 (R1 (L1 (M1 U1)))))) -> C90
240 R1 (R1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))) -> C91
241 R1 (R1 (R1 (L1 (R1 (R1 (R1 (M1 U1))))))) -> C92
242 R1 (R1 (R1 (R1 (L1 (L1 (M1 U1)))))) -> C93
243 R1 (R1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))) -> C94
244 R1 (R1 (R1 (R1 (L1 (R1 (R1 (M1 U1))))))) -> C95
245 R1 (R1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))) -> C96
246 R1 (R1 (R1 (R1 (R1 (L1 (R1 (M1 U1))))))) -> C97
247 R1 (R1 (R1 (R1 (R1 (R1 (L1 (M1 U1))))))) -> C98
248 R1 (R1 (R1 (R1 (R1 (R1 (R1 (M1 U1))))))) -> C99
249
250 type Rep_BigSum = D1
251 ('MetaData
252 "BigSum" "Wat" "main" 'False)
253 ((((((C1
254 ('MetaCons
255 "C0" 'PrefixI 'False)
256 U1
257 :+: (C1
258 ('MetaCons
259 "C1"
260 'PrefixI
261 'False)
262 U1
263 :+: C1
264 ('MetaCons
265 "C2"
266 'PrefixI
267 'False)
268 U1))
269 :+: (C1
270 ('MetaCons
271 "C3"
272 'PrefixI
273 'False)
274 U1
275 :+: (C1
276 ('MetaCons
277 "C4"
278 'PrefixI
279 'False)
280 U1
281 :+: C1
282 ('MetaCons
283 "C5"
284 'PrefixI
285 'False)
286 U1)))
287 :+: ((C1
288 ('MetaCons
289 "C6"
290 'PrefixI
291 'False)
292 U1
293 :+: (C1
294 ('MetaCons
295 "C7"
296 'PrefixI
297 'False)
298 U1
299 :+: C1
300 ('MetaCons
301 "C8"
302 'PrefixI
303 'False)
304 U1))
305 :+: (C1
306 ('MetaCons
307 "C9"
308 'PrefixI
309 'False)
310 U1
311 :+: (C1
312 ('MetaCons
313 "C10"
314 'PrefixI
315 'False)
316 U1
317 :+: C1
318 ('MetaCons
319 "C11"
320 'PrefixI
321 'False)
322 U1))))
323 :+: (((C1
324 ('MetaCons
325 "C12"
326 'PrefixI
327 'False)
328 U1
329 :+: (C1
330 ('MetaCons
331 "C13"
332 'PrefixI
333 'False)
334 U1
335 :+: C1
336 ('MetaCons
337 "C14"
338 'PrefixI
339 'False)
340 U1))
341 :+: (C1
342 ('MetaCons
343 "C15"
344 'PrefixI
345 'False)
346 U1
347 :+: (C1
348 ('MetaCons
349 "C16"
350 'PrefixI
351 'False)
352 U1
353 :+: C1
354 ('MetaCons
355 "C17"
356 'PrefixI
357 'False)
358 U1)))
359 :+: ((C1
360 ('MetaCons
361 "C18"
362 'PrefixI
363 'False)
364 U1
365 :+: (C1
366 ('MetaCons
367 "C19"
368 'PrefixI
369 'False)
370 U1
371 :+: C1
372 ('MetaCons
373 "C20"
374 'PrefixI
375 'False)
376 U1))
377 :+: ((C1
378 ('MetaCons
379 "C21"
380 'PrefixI
381 'False)
382 U1
383 :+: C1
384 ('MetaCons
385 "C22"
386 'PrefixI
387 'False)
388 U1)
389 :+: (C1
390 ('MetaCons
391 "C23"
392 'PrefixI
393 'False)
394 U1
395 :+: C1
396 ('MetaCons
397 "C24"
398 'PrefixI
399 'False)
400 U1)))))
401 :+: ((((C1
402 ('MetaCons
403 "C25"
404 'PrefixI
405 'False)
406 U1
407 :+: (C1
408 ('MetaCons
409 "C26"
410 'PrefixI
411 'False)
412 U1
413 :+: C1
414 ('MetaCons
415 "C27"
416 'PrefixI
417 'False)
418 U1))
419 :+: (C1
420 ('MetaCons
421 "C28"
422 'PrefixI
423 'False)
424 U1
425 :+: (C1
426 ('MetaCons
427 "C29"
428 'PrefixI
429 'False)
430 U1
431 :+: C1
432 ('MetaCons
433 "C30"
434 'PrefixI
435 'False)
436 U1)))
437 :+: ((C1
438 ('MetaCons
439 "C31"
440 'PrefixI
441 'False)
442 U1
443 :+: (C1
444 ('MetaCons
445 "C32"
446 'PrefixI
447 'False)
448 U1
449 :+: C1
450 ('MetaCons
451 "C33"
452 'PrefixI
453 'False)
454 U1))
455 :+: (C1
456 ('MetaCons
457 "C34"
458 'PrefixI
459 'False)
460 U1
461 :+: (C1
462 ('MetaCons
463 "C35"
464 'PrefixI
465 'False)
466 U1
467 :+: C1
468 ('MetaCons
469 "C36"
470 'PrefixI
471 'False)
472 U1))))
473 :+: (((C1
474 ('MetaCons
475 "C37"
476 'PrefixI
477 'False)
478 U1
479 :+: (C1
480 ('MetaCons
481 "C38"
482 'PrefixI
483 'False)
484 U1
485 :+: C1
486 ('MetaCons
487 "C39"
488 'PrefixI
489 'False)
490 U1))
491 :+: (C1
492 ('MetaCons
493 "C40"
494 'PrefixI
495 'False)
496 U1
497 :+: (C1
498 ('MetaCons
499 "C41"
500 'PrefixI
501 'False)
502 U1
503 :+: C1
504 ('MetaCons
505 "C42"
506 'PrefixI
507 'False)
508 U1)))
509 :+: ((C1
510 ('MetaCons
511 "C43"
512 'PrefixI
513 'False)
514 U1
515 :+: (C1
516 ('MetaCons
517 "C44"
518 'PrefixI
519 'False)
520 U1
521 :+: C1
522 ('MetaCons
523 "C45"
524 'PrefixI
525 'False)
526 U1))
527 :+: ((C1
528 ('MetaCons
529 "C46"
530 'PrefixI
531 'False)
532 U1
533 :+: C1
534 ('MetaCons
535 "C47"
536 'PrefixI
537 'False)
538 U1)
539 :+: (C1
540 ('MetaCons
541 "C48"
542 'PrefixI
543 'False)
544 U1
545 :+: C1
546 ('MetaCons
547 "C49"
548 'PrefixI
549 'False)
550 U1))))))
551 :+: (((((C1
552 ('MetaCons
553 "C50"
554 'PrefixI
555 'False)
556 U1
557 :+: (C1
558 ('MetaCons
559 "C51"
560 'PrefixI
561 'False)
562 U1
563 :+: C1
564 ('MetaCons
565 "C52"
566 'PrefixI
567 'False)
568 U1))
569 :+: (C1
570 ('MetaCons
571 "C53"
572 'PrefixI
573 'False)
574 U1
575 :+: (C1
576 ('MetaCons
577 "C54"
578 'PrefixI
579 'False)
580 U1
581 :+: C1
582 ('MetaCons
583 "C55"
584 'PrefixI
585 'False)
586 U1)))
587 :+: ((C1
588 ('MetaCons
589 "C56"
590 'PrefixI
591 'False)
592 U1
593 :+: (C1
594 ('MetaCons
595 "C57"
596 'PrefixI
597 'False)
598 U1
599 :+: C1
600 ('MetaCons
601 "C58"
602 'PrefixI
603 'False)
604 U1))
605 :+: (C1
606 ('MetaCons
607 "C59"
608 'PrefixI
609 'False)
610 U1
611 :+: (C1
612 ('MetaCons
613 "C60"
614 'PrefixI
615 'False)
616 U1
617 :+: C1
618 ('MetaCons
619 "C61"
620 'PrefixI
621 'False)
622 U1))))
623 :+: (((C1
624 ('MetaCons
625 "C62"
626 'PrefixI
627 'False)
628 U1
629 :+: (C1
630 ('MetaCons
631 "C63"
632 'PrefixI
633 'False)
634 U1
635 :+: C1
636 ('MetaCons
637 "C64"
638 'PrefixI
639 'False)
640 U1))
641 :+: (C1
642 ('MetaCons
643 "C65"
644 'PrefixI
645 'False)
646 U1
647 :+: (C1
648 ('MetaCons
649 "C66"
650 'PrefixI
651 'False)
652 U1
653 :+: C1
654 ('MetaCons
655 "C67"
656 'PrefixI
657 'False)
658 U1)))
659 :+: ((C1
660 ('MetaCons
661 "C68"
662 'PrefixI
663 'False)
664 U1
665 :+: (C1
666 ('MetaCons
667 "C69"
668 'PrefixI
669 'False)
670 U1
671 :+: C1
672 ('MetaCons
673 "C70"
674 'PrefixI
675 'False)
676 U1))
677 :+: ((C1
678 ('MetaCons
679 "C71"
680 'PrefixI
681 'False)
682 U1
683 :+: C1
684 ('MetaCons
685 "C72"
686 'PrefixI
687 'False)
688 U1)
689 :+: (C1
690 ('MetaCons
691 "C73"
692 'PrefixI
693 'False)
694 U1
695 :+: C1
696 ('MetaCons
697 "C74"
698 'PrefixI
699 'False)
700 U1)))))
701 :+: ((((C1
702 ('MetaCons
703 "C75"
704 'PrefixI
705 'False)
706 U1
707 :+: (C1
708 ('MetaCons
709 "C76"
710 'PrefixI
711 'False)
712 U1
713 :+: C1
714 ('MetaCons
715 "C77"
716 'PrefixI
717 'False)
718 U1))
719 :+: (C1
720 ('MetaCons
721 "C78"
722 'PrefixI
723 'False)
724 U1
725 :+: (C1
726 ('MetaCons
727 "C79"
728 'PrefixI
729 'False)
730 U1
731 :+: C1
732 ('MetaCons
733 "C80"
734 'PrefixI
735 'False)
736 U1)))
737 :+: ((C1
738 ('MetaCons
739 "C81"
740 'PrefixI
741 'False)
742 U1
743 :+: (C1
744 ('MetaCons
745 "C82"
746 'PrefixI
747 'False)
748 U1
749 :+: C1
750 ('MetaCons
751 "C83"
752 'PrefixI
753 'False)
754 U1))
755 :+: (C1
756 ('MetaCons
757 "C84"
758 'PrefixI
759 'False)
760 U1
761 :+: (C1
762 ('MetaCons
763 "C85"
764 'PrefixI
765 'False)
766 U1
767 :+: C1
768 ('MetaCons
769 "C86"
770 'PrefixI
771 'False)
772 U1))))
773 :+: (((C1
774 ('MetaCons
775 "C87"
776 'PrefixI
777 'False)
778 U1
779 :+: (C1
780 ('MetaCons
781 "C88"
782 'PrefixI
783 'False)
784 U1
785 :+: C1
786 ('MetaCons
787 "C89"
788 'PrefixI
789 'False)
790 U1))
791 :+: (C1
792 ('MetaCons
793 "C90"
794 'PrefixI
795 'False)
796 U1
797 :+: (C1
798 ('MetaCons
799 "C91"
800 'PrefixI
801 'False)
802 U1
803 :+: C1
804 ('MetaCons
805 "C92"
806 'PrefixI
807 'False)
808 U1)))
809 :+: ((C1
810 ('MetaCons
811 "C93"
812 'PrefixI
813 'False)
814 U1
815 :+: (C1
816 ('MetaCons
817 "C94"
818 'PrefixI
819 'False)
820 U1
821 :+: C1
822 ('MetaCons
823 "C95"
824 'PrefixI
825 'False)
826 U1))
827 :+: ((C1
828 ('MetaCons
829 "C96"
830 'PrefixI
831 'False)
832 U1
833 :+: C1
834 ('MetaCons
835 "C97"
836 'PrefixI
837 'False)
838 U1)
839 :+: (C1
840 ('MetaCons
841 "C98"
842 'PrefixI
843 'False)
844 U1
845 :+: C1
846 ('MetaCons
847 "C99"
848 'PrefixI
849 'False)
850 U1)))))))
851
852
853
854
855
856 {-
857 data BigProduct = C
858 () () () () () () () () () ()
859 () () () () () () () () () ()
860 () () () () () () () () () ()
861 () () () () () () () () () ()
862 () () () () () () () () () ()
863 () () () () () () () () () ()
864 () () () () () () () () () ()
865 () () () () () () () () () ()
866 () () () () () () () () () ()
867 () () () () () () () () () ()
868 () () () () () () () () () ()
869 () () () () () () () () () ()
870 () () () () () () () () () ()
871 () () () () () () () () () ()
872 () () () () () () () () () ()
873 () () () () () () () () () ()
874 () () () () () () () () () ()
875 () () () () () () () () () ()
876 () () () () () () () () () ()
877 () () () () () () () () () ()
878 () () () () () () () () () ()
879 () () () () () () () () () ()
880 () () () () () () () () () ()
881 () () () () () () () () () ()
882 () () () () () () () () () ()
883 () () () () () () () () () ()
884 () () () () () () () () () ()
885 () () () () () () () () () ()
886 () () () () () () () () () ()
887 () () () () () () () () () ()
888 deriving Generic
889 -}