1 [3 of 3] Compiling Main ( Demo.hs, .build/Main.o )
3 ==================== Desugared, before opt ====================
7 @ co_aHe::GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ ~ ()
8 co_aHe = TYPE trans GArrowTikZ.TFCo:R:GArrowUnitGArrowTikZ co_aLI
12 :: GHC.HetMet.GArrow.GArrowSTKC GArrowTikZ.GArrowTikZ
14 $dGArrowSTKC_aHd = GArrowTikZ.$fGArrowSTKCGArrowTikZ
17 :: forall (t_aD6 :: * -> * -> *) t_aD7.
18 <[t_aD7]>@t_aD6 -> <[t_aD7]>@t_aD6
21 \ (@ t_aD6::* -> * -> *) (@ t_aD7) ->
23 foo_aD5 :: <[t_aD7]>@t_aD6 -> <[t_aD7]>@t_aD6
26 \ (x_aD4 :: <[t_aD7]>@t_aD6) ->
27 GHC.HetMet.CodeTypes.hetmet_brak
30 ((GHC.HetMet.CodeTypes.hetmet_esc @ t_aD6 @ t_aD7 x_aD4)
31 `cast` (t_aD7 :: t_aD7 ~ t_aD7)); } in
35 :: forall (g_aFo :: * -> * -> *) y_aFp.
36 (GHC.HetMet.GArrow.GArrowSTKC g_aFo,
37 GHC.HetMet.GArrow.GArrowUnit g_aFo ~ ()) =>
38 GHC.HetMet.Private.PGArrow g_aFo () y_aFp -> g_aFo () y_aFp
41 \ (@ g_aFo::* -> * -> *)
43 ($dGArrowSTKC_aFq :: GHC.HetMet.GArrow.GArrowSTKC g_aFo)
44 (@ co_aFr::GHC.HetMet.GArrow.GArrowUnit g_aFo ~ ()) ->
46 @ co_aMM::GHC.HetMet.GArrow.GArrowTensor g_aFo
48 GHC.HetMet.GArrow.GArrowTensor g_aFo
49 co_aMM = TYPE GHC.HetMet.GArrow.GArrowTensor g_aFo } in
51 @ co_aML::GHC.HetMet.GArrow.GArrowTensor g_aFo
53 GHC.HetMet.GArrow.GArrowTensor g_aFo
54 co_aML = TYPE GHC.HetMet.GArrow.GArrowTensor g_aFo } in
62 @ co_aMI::GHC.HetMet.GArrow.GArrowTensor g_aFo
64 GHC.HetMet.GArrow.GArrowTensor g_aFo
65 co_aMI = TYPE GHC.HetMet.GArrow.GArrowTensor g_aFo } in
67 @ co_aMH::GHC.HetMet.GArrow.GArrowTensor g_aFo
69 GHC.HetMet.GArrow.GArrowTensor g_aFo
70 co_aMH = TYPE GHC.HetMet.GArrow.GArrowTensor g_aFo } in
78 @ co_aME::GHC.HetMet.GArrow.GArrowTensor g_aFo
80 GHC.HetMet.GArrow.GArrowTensor g_aFo
81 co_aME = TYPE GHC.HetMet.GArrow.GArrowTensor g_aFo } in
83 @ co_aMD::GHC.HetMet.GArrow.GArrowTensor g_aFo
85 GHC.HetMet.GArrow.GArrowTensor g_aFo
86 co_aMD = TYPE GHC.HetMet.GArrow.GArrowTensor g_aFo } in
94 @ co_aMz::GHC.HetMet.GArrow.GArrowUnit g_aFo ~ ()
95 co_aMz = TYPE trans co_aFr (sym co_aMB) } in
97 @ co_aMu::GHC.HetMet.GArrow.GArrowUnit g_aFo ~ ()
98 co_aMu = TYPE trans co_aFr (sym co_aMF) } in
100 @ co_aMp::GHC.HetMet.GArrow.GArrowUnit g_aFo ~ ()
101 co_aMp = TYPE trans co_aFr (sym co_aMJ) } in
103 @ co_aM1::GHC.HetMet.GArrow.GArrowUnit g_aFo
105 GHC.HetMet.GArrow.GArrowUnit g_aFo
106 co_aM1 = TYPE GHC.HetMet.GArrow.GArrowUnit g_aFo } in
108 @ co_aM4::GHC.HetMet.GArrow.GArrowUnit g_aFo ~ ()
109 co_aM4 = TYPE trans (sym co_aM1) co_aFr } in
111 @ co_aLZ::GHC.HetMet.GArrow.GArrowTensor g_aFo
113 GHC.HetMet.GArrow.GArrowTensor g_aFo
114 co_aLZ = TYPE GHC.HetMet.GArrow.GArrowTensor g_aFo } in
116 @ co_aMn::GHC.HetMet.GArrow.GArrowTensor g_aFo
118 GHC.HetMet.GArrow.GArrowTensor g_aFo
119 co_aMn = TYPE trans co_aLZ (sym co_aML) } in
121 @ co_aMs::GHC.HetMet.GArrow.GArrowTensor g_aFo
123 GHC.HetMet.GArrow.GArrowTensor g_aFo
124 co_aMs = TYPE trans co_aLZ (sym co_aMH) } in
126 @ co_aMx::GHC.HetMet.GArrow.GArrowTensor g_aFo
128 GHC.HetMet.GArrow.GArrowTensor g_aFo
129 co_aMx = TYPE trans co_aLZ (sym co_aMD) } in
131 @ co_aLV::GHC.HetMet.GArrow.GArrowUnit g_aFo
133 GHC.HetMet.GArrow.GArrowUnit g_aFo
134 co_aLV = TYPE GHC.HetMet.GArrow.GArrowUnit g_aFo } in
136 @ co_aM5::GHC.HetMet.GArrow.GArrowUnit g_aFo ~ ()
137 co_aM5 = TYPE trans (sym co_aLV) co_aFr } in
139 @ co_aLT::GHC.HetMet.GArrow.GArrowTensor g_aFo
141 GHC.HetMet.GArrow.GArrowTensor g_aFo
142 co_aLT = TYPE GHC.HetMet.GArrow.GArrowTensor g_aFo } in
144 @ co_aM6::GHC.HetMet.GArrow.GArrowTensor g_aFo
146 GHC.HetMet.GArrow.GArrowTensor g_aFo
147 co_aM6 = TYPE trans (sym co_aLT) co_aLZ } in
149 @ co_aLP::GHC.HetMet.GArrow.GArrowUnit g_aFo
151 GHC.HetMet.GArrow.GArrowUnit g_aFo
152 co_aLP = TYPE GHC.HetMet.GArrow.GArrowUnit g_aFo } in
154 @ co_aM7::GHC.HetMet.GArrow.GArrowUnit g_aFo ~ ()
155 co_aM7 = TYPE trans (sym co_aLP) co_aFr } in
157 @ co_aLN::GHC.HetMet.GArrow.GArrowTensor g_aFo
159 GHC.HetMet.GArrow.GArrowTensor g_aFo
160 co_aLN = TYPE GHC.HetMet.GArrow.GArrowTensor g_aFo } in
162 @ co_aM8::GHC.HetMet.GArrow.GArrowTensor g_aFo
164 GHC.HetMet.GArrow.GArrowTensor g_aFo
165 co_aM8 = TYPE trans (sym co_aLN) co_aLZ } in
168 :: GHC.HetMet.GArrow.GArrowSwap
170 (GHC.HetMet.GArrow.GArrowTensor g_aFo)
171 (GHC.HetMet.GArrow.GArrowUnit g_aFo)
174 GHC.HetMet.GArrow.$p3GArrowSTKC @ g_aFo $dGArrowSTKC_aFq } in
177 :: GHC.HetMet.GArrow.GArrow
179 (GHC.HetMet.GArrow.GArrowTensor g_aFo)
180 (GHC.HetMet.GArrow.GArrowUnit g_aFo)
183 GHC.HetMet.GArrow.$p1GArrowSwap
185 @ (GHC.HetMet.GArrow.GArrowTensor g_aFo)
186 @ (GHC.HetMet.GArrow.GArrowUnit g_aFo)
187 $dGArrowSwap_aLL } in
189 $dCategory_aM3 :: Control.Category.Category g_aFo
192 GHC.HetMet.GArrow.$p1GArrow
194 @ (GHC.HetMet.GArrow.GArrowTensor g_aFo)
195 @ (GHC.HetMet.GArrow.GArrowUnit g_aFo)
199 :: GHC.HetMet.GArrow.GArrow
200 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) ()
204 `cast` (GHC.HetMet.GArrow.T:GArrow
205 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) co_aM4
206 :: GHC.HetMet.GArrow.T:GArrow
208 (GHC.HetMet.GArrow.GArrowTensor g_aFo)
209 (GHC.HetMet.GArrow.GArrowUnit g_aFo)
211 GHC.HetMet.GArrow.T:GArrow
212 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) ()) } in
215 :: GHC.HetMet.GArrow.GArrowSwap
216 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) ()
220 `cast` (GHC.HetMet.GArrow.T:GArrowSwap
221 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) co_aM4
222 :: GHC.HetMet.GArrow.T:GArrowSwap
224 (GHC.HetMet.GArrow.GArrowTensor g_aFo)
225 (GHC.HetMet.GArrow.GArrowUnit g_aFo)
227 GHC.HetMet.GArrow.T:GArrowSwap
228 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) ()) } in
231 :: GHC.HetMet.GArrow.GArrowCopy
233 (GHC.HetMet.GArrow.GArrowTensor g_aFo)
234 (GHC.HetMet.GArrow.GArrowUnit g_aFo)
237 GHC.HetMet.GArrow.$p2GArrowSTKC @ g_aFo $dGArrowSTKC_aFq } in
240 :: GHC.HetMet.GArrow.GArrow
242 (GHC.HetMet.GArrow.GArrowTensor g_aFo)
243 (GHC.HetMet.GArrow.GArrowUnit g_aFo)
246 GHC.HetMet.GArrow.$p1GArrowCopy
248 @ (GHC.HetMet.GArrow.GArrowTensor g_aFo)
249 @ (GHC.HetMet.GArrow.GArrowUnit g_aFo)
250 $dGArrowCopy_aLK } in
252 $dCategory_aLX :: Control.Category.Category g_aFo
255 GHC.HetMet.GArrow.$p1GArrow
257 @ (GHC.HetMet.GArrow.GArrowTensor g_aFo)
258 @ (GHC.HetMet.GArrow.GArrowUnit g_aFo)
262 :: GHC.HetMet.GArrow.GArrow
263 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) ()
267 `cast` (GHC.HetMet.GArrow.T:GArrow
268 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) co_aM5
269 :: GHC.HetMet.GArrow.T:GArrow
271 (GHC.HetMet.GArrow.GArrowTensor g_aFo)
272 (GHC.HetMet.GArrow.GArrowUnit g_aFo)
274 GHC.HetMet.GArrow.T:GArrow
275 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) ()) } in
278 :: GHC.HetMet.GArrow.GArrow
279 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) ()
283 `cast` (GHC.HetMet.GArrow.T:GArrow g_aFo co_aM6 ()
284 :: GHC.HetMet.GArrow.T:GArrow
285 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) ()
287 GHC.HetMet.GArrow.T:GArrow
288 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) ()) } in
291 :: GHC.HetMet.GArrow.GArrowCopy
293 (GHC.HetMet.GArrow.GArrowTensor g_aFo)
294 (GHC.HetMet.GArrow.GArrowUnit g_aFo)
298 `cast` (GHC.HetMet.GArrow.T:GArrowCopy
299 g_aFo co_aM6 (GHC.HetMet.GArrow.GArrowUnit g_aFo)
300 :: GHC.HetMet.GArrow.T:GArrowCopy
302 (GHC.HetMet.GArrow.GArrowTensor g_aFo)
303 (GHC.HetMet.GArrow.GArrowUnit g_aFo)
305 GHC.HetMet.GArrow.T:GArrowCopy
307 (GHC.HetMet.GArrow.GArrowTensor g_aFo)
308 (GHC.HetMet.GArrow.GArrowUnit g_aFo)) } in
311 :: GHC.HetMet.GArrow.GArrowCopy
312 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) ()
316 `cast` (GHC.HetMet.GArrow.T:GArrowCopy
317 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) co_aM5
318 :: GHC.HetMet.GArrow.T:GArrowCopy
320 (GHC.HetMet.GArrow.GArrowTensor g_aFo)
321 (GHC.HetMet.GArrow.GArrowUnit g_aFo)
323 GHC.HetMet.GArrow.T:GArrowCopy
324 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) ()) } in
327 :: GHC.HetMet.GArrow.GArrowDrop
329 (GHC.HetMet.GArrow.GArrowTensor g_aFo)
330 (GHC.HetMet.GArrow.GArrowUnit g_aFo)
333 GHC.HetMet.GArrow.$p1GArrowSTKC @ g_aFo $dGArrowSTKC_aFq } in
336 :: GHC.HetMet.GArrow.GArrow
338 (GHC.HetMet.GArrow.GArrowTensor g_aFo)
339 (GHC.HetMet.GArrow.GArrowUnit g_aFo)
342 GHC.HetMet.GArrow.$p1GArrowDrop
344 @ (GHC.HetMet.GArrow.GArrowTensor g_aFo)
345 @ (GHC.HetMet.GArrow.GArrowUnit g_aFo)
346 $dGArrowDrop_aLJ } in
348 $dCategory_aLR :: Control.Category.Category g_aFo
351 GHC.HetMet.GArrow.$p1GArrow
353 @ (GHC.HetMet.GArrow.GArrowTensor g_aFo)
354 @ (GHC.HetMet.GArrow.GArrowUnit g_aFo)
358 :: GHC.HetMet.GArrow.GArrow
359 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) ()
363 `cast` (GHC.HetMet.GArrow.T:GArrow
364 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) co_aM7
365 :: GHC.HetMet.GArrow.T:GArrow
367 (GHC.HetMet.GArrow.GArrowTensor g_aFo)
368 (GHC.HetMet.GArrow.GArrowUnit g_aFo)
370 GHC.HetMet.GArrow.T:GArrow
371 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) ()) } in
374 :: GHC.HetMet.GArrow.GArrow
375 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) ()
379 `cast` (GHC.HetMet.GArrow.T:GArrow g_aFo co_aM8 ()
380 :: GHC.HetMet.GArrow.T:GArrow
381 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) ()
383 GHC.HetMet.GArrow.T:GArrow
384 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) ()) } in
387 :: GHC.HetMet.GArrow.GArrowDrop
389 (GHC.HetMet.GArrow.GArrowTensor g_aFo)
390 (GHC.HetMet.GArrow.GArrowUnit g_aFo)
394 `cast` (GHC.HetMet.GArrow.T:GArrowDrop
395 g_aFo co_aM8 (GHC.HetMet.GArrow.GArrowUnit g_aFo)
396 :: GHC.HetMet.GArrow.T:GArrowDrop
398 (GHC.HetMet.GArrow.GArrowTensor g_aFo)
399 (GHC.HetMet.GArrow.GArrowUnit g_aFo)
401 GHC.HetMet.GArrow.T:GArrowDrop
403 (GHC.HetMet.GArrow.GArrowTensor g_aFo)
404 (GHC.HetMet.GArrow.GArrowUnit g_aFo)) } in
407 :: GHC.HetMet.GArrow.GArrowDrop
408 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) ()
412 `cast` (GHC.HetMet.GArrow.T:GArrowDrop
413 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) co_aM7
414 :: GHC.HetMet.GArrow.T:GArrowDrop
416 (GHC.HetMet.GArrow.GArrowTensor g_aFo)
417 (GHC.HetMet.GArrow.GArrowUnit g_aFo)
419 GHC.HetMet.GArrow.T:GArrowDrop
420 g_aFo (GHC.HetMet.GArrow.GArrowTensor g_aFo) ()) } in
422 @ co_aF3::GHC.HetMet.GArrow.GArrowUnit g_aFo ~ ()
423 co_aF3 = TYPE co_aFr } in
426 co_aEX = TYPE () } in
428 @ co_aEI::GHC.HetMet.GArrow.GArrowTensor g_aFo
430 GHC.HetMet.GArrow.GArrowTensor g_aFo
431 co_aEI = TYPE GHC.HetMet.GArrow.GArrowTensor g_aFo } in
433 @ co_aEG::GHC.HetMet.GArrow.GArrowTensor g_aFo
435 GHC.HetMet.GArrow.GArrowTensor g_aFo
436 co_aEG = TYPE GHC.HetMet.GArrow.GArrowTensor g_aFo } in
438 @ co_aEF::GHC.HetMet.GArrow.GArrowTensor g_aFo
440 GHC.HetMet.GArrow.GArrowTensor g_aFo
441 co_aEF = TYPE GHC.HetMet.GArrow.GArrowTensor g_aFo } in
443 @ co_aEE::GHC.HetMet.GArrow.GArrowUnit g_aFo ~ ()
446 (trans (GHC.HetMet.GArrow.GArrowUnit g_aFo) co_aF3)
450 co_aEz = TYPE () } in
453 co_aF0 = TYPE trans co_aEz co_aEX } in
456 co_aEy = TYPE () } in
458 @ co_aEx::GHC.HetMet.GArrow.GArrowTensor g_aFo
460 GHC.HetMet.GArrow.GArrowTensor g_aFo
463 (trans (GHC.HetMet.GArrow.GArrowTensor g_aFo) co_aEI)
466 @ co_aEw::GHC.HetMet.GArrow.GArrowTensor g_aFo
468 GHC.HetMet.GArrow.GArrowTensor g_aFo
469 co_aEw = TYPE GHC.HetMet.GArrow.GArrowTensor g_aFo } in
471 @ co_aEH::GHC.HetMet.GArrow.GArrowTensor g_aFo
473 GHC.HetMet.GArrow.GArrowTensor g_aFo
474 co_aEH = TYPE trans co_aEw co_aEG } in
476 @ co_aEv::GHC.HetMet.GArrow.GArrowTensor g_aFo
478 GHC.HetMet.GArrow.GArrowTensor g_aFo
479 co_aEv = TYPE GHC.HetMet.GArrow.GArrowTensor g_aFo } in
481 @ co_aEu::GHC.HetMet.GArrow.GArrowUnit g_aFo ~ ()
484 (trans (GHC.HetMet.GArrow.GArrowUnit g_aFo) co_aEE)
488 co_aEq = TYPE () } in
491 co_aEC = TYPE trans co_aEq co_aEz } in
494 co_aEZ = TYPE trans co_aEC co_aEX } in
497 co_aEp = TYPE () } in
499 @ co_aEo::GHC.HetMet.GArrow.GArrowUnit g_aFo ~ ()
502 (trans (GHC.HetMet.GArrow.GArrowUnit g_aFo) co_aEu)
506 co_aEl = TYPE () } in
509 co_aEs = TYPE trans co_aEl co_aEq } in
512 co_aED = TYPE trans co_aEs co_aEz } in
515 co_aF1 = TYPE trans co_aED co_aEX } in
518 co_aEk = TYPE () } in
520 @ co_aEj::GHC.HetMet.GArrow.GArrowUnit g_aFo ~ ()
523 (trans (GHC.HetMet.GArrow.GArrowUnit g_aFo) co_aEo)
527 co_aEh = TYPE () } in
530 co_aEn = TYPE trans co_aEh co_aEl } in
533 co_aEr = TYPE trans co_aEn co_aEq } in
536 co_aEA = TYPE trans co_aEr co_aEz } in
539 co_aEY = TYPE trans co_aEA co_aEX } in
542 co_aEg = TYPE () } in
544 @ co_aEf::GHC.HetMet.Private.PGArrow g_aFo () y_aFp
546 GHC.HetMet.Private.PGArrow g_aFo () y_aFp
547 co_aEf = TYPE GHC.HetMet.Private.PGArrow g_aFo () y_aFp } in
549 @ co_aEi::GHC.HetMet.Private.PGArrow g_aFo () y_aFp
551 GHC.HetMet.Private.PGArrow g_aFo () y_aFp
554 co_aEf (GHC.HetMet.Private.PGArrow g_aFo co_aEh y_aFp) } in
556 @ co_aEm::GHC.HetMet.Private.PGArrow g_aFo () y_aFp
558 GHC.HetMet.Private.PGArrow g_aFo () y_aFp
561 co_aEi (GHC.HetMet.Private.PGArrow g_aFo co_aEl y_aFp) } in
563 @ co_aEt::GHC.HetMet.Private.PGArrow g_aFo () y_aFp
565 GHC.HetMet.Private.PGArrow g_aFo () y_aFp
568 co_aEm (GHC.HetMet.Private.PGArrow g_aFo co_aEq y_aFp) } in
570 @ co_aEB::GHC.HetMet.Private.PGArrow g_aFo () y_aFp
572 GHC.HetMet.Private.PGArrow g_aFo () y_aFp
575 co_aEt (GHC.HetMet.Private.PGArrow g_aFo co_aEz y_aFp) } in
577 @ co_aF2::GHC.HetMet.Private.PGArrow g_aFo () y_aFp
579 GHC.HetMet.Private.PGArrow g_aFo () y_aFp
582 co_aEB (GHC.HetMet.Private.PGArrow g_aFo co_aEX y_aFp) } in
584 @ co_aEd::GHC.HetMet.GArrow.GArrowUnit g_aFo ~ ()
585 co_aEd = TYPE trans co_aEj (sym co_aEk) } in
587 @ co_aEb::GHC.HetMet.GArrow.GArrowTensor g_aFo
589 GHC.HetMet.GArrow.GArrowTensor g_aFo
592 (trans (GHC.HetMet.GArrow.GArrowTensor g_aFo) co_aEx)
595 @ co_aE8::GHC.HetMet.GArrow.GArrowUnit g_aFo ~ ()
596 co_aE8 = TYPE trans co_aEo (sym co_aEp) } in
598 @ co_aE6::GHC.HetMet.GArrow.GArrowTensor g_aFo
600 GHC.HetMet.GArrow.GArrowTensor g_aFo
601 co_aE6 = TYPE trans co_aEb (sym co_aEv) } in
603 @ co_aE3::GHC.HetMet.GArrow.GArrowUnit g_aFo ~ ()
604 co_aE3 = TYPE trans co_aEu (sym co_aEy) } in
606 @ co_aE1::GHC.HetMet.GArrow.GArrowTensor g_aFo
608 GHC.HetMet.GArrow.GArrowTensor g_aFo
609 co_aE1 = TYPE trans co_aEx (sym co_aEF) } in
611 @ co_aDD::GHC.HetMet.Private.PGArrow g_aFo () y_aFp
613 GHC.HetMet.Private.PGArrow g_aFo () y_aFp
614 co_aDD = TYPE GHC.HetMet.Private.PGArrow g_aFo () y_aFp } in
616 @ co_aDC::GHC.HetMet.GArrow.GArrowUnit g_aFo ~ ()
619 (trans (GHC.HetMet.GArrow.GArrowUnit g_aFo) co_aEj)
622 @ co_aDA::GHC.HetMet.Private.PGArrow g_aFo () y_aFp
624 GHC.HetMet.Private.PGArrow
625 g_aFo (GHC.HetMet.GArrow.GArrowUnit g_aFo) y_aFp
629 (GHC.HetMet.Private.PGArrow
631 (trans (sym co_aDC) (GHC.HetMet.GArrow.GArrowUnit g_aFo))
634 @ co_aDv::GHC.HetMet.Private.PGArrow
635 g_aFo (GHC.HetMet.GArrow.GArrowUnit g_aFo) y_aFp
637 GHC.HetMet.Private.PGArrow g_aFo () y_aFp
638 co_aDv = TYPE sym co_aDA } in
640 @ co_aDr::GHC.HetMet.GArrow.GArrowUnit g_aFo ~ ()
641 co_aDr = TYPE trans co_aDC (sym co_aEg) } in
643 $dGArrowSTKC_aDm :: GHC.HetMet.GArrow.GArrowSTKC g_aFo
645 $dGArrowSTKC_aDm = $dGArrowSTKC_aFq } in
648 :: GHC.HetMet.Private.PGArrow g_aFo () y_aFp -> g_aFo () y_aFp
652 @ (GHC.HetMet.Private.PGArrow g_aFo () y_aFp)
654 @ (GHC.HetMet.Private.PGArrow g_aFo () y_aFp)
655 (GHC.HetMet.Private.unG @ g_aFo @ () @ y_aFp $dGArrowSTKC_aDm)
658 @ (GHC.HetMet.Private.PGArrow g_aFo () y_aFp)
659 @ (GHC.HetMet.Private.PGArrow g_aFo () y_aFp)
660 ((GHC.HetMet.CodeTypes.pga_flatten @ g_aFo @ GHC.Prim.Any @ y_aFp)
661 `cast` (<[y_aFp]>@g_aFo
662 -> GHC.HetMet.Private.PGArrow g_aFo co_aDr y_aFp
664 -> GHC.HetMet.Private.PGArrow
665 g_aFo (GHC.HetMet.GArrow.GArrowUnit g_aFo) y_aFp)
667 (<[y_aFp]>@g_aFo -> GHC.HetMet.Private.PGArrow g_aFo () y_aFp)))
671 @ (GHC.HetMet.Private.PGArrow g_aFo () y_aFp)
672 (Main.foo @ g_aFo @ y_aFp)
673 ((GHC.HetMet.CodeTypes.pga_unflatten
674 @ g_aFo @ GHC.Prim.Any @ y_aFp)
675 `cast` (co_aDv -> <[y_aFp]>@g_aFo
676 :: (GHC.HetMet.Private.PGArrow
677 g_aFo (GHC.HetMet.GArrow.GArrowUnit g_aFo) y_aFp
680 (GHC.HetMet.Private.PGArrow g_aFo () y_aFp
681 -> <[y_aFp]>@g_aFo))))); } in
684 Main.main :: GHC.Types.IO ()
688 @ co_aLu::GHC.Types.Int ~ GHC.Types.Int
689 co_aLu = TYPE GHC.Types.Int } in
691 @ co_aLt::GHC.Types.Int ~ GHC.Types.Int
692 co_aLt = TYPE GHC.Types.Int } in
694 main_aHj :: GHC.Types.IO ()
701 @ GArrowTikZ.GArrowTikZ
705 (GHC.HetMet.Private.PGArrowD
706 @ GArrowTikZ.GArrowTikZ
710 :: GHC.HetMet.GArrow.GArrowSTKC GArrowTikZ.GArrowTikZ) ->
712 @ co_aHD::GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ
714 GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ
716 TYPE GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ } in
718 @ co_aHG::GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ ~ ()
720 TYPE trans (sym co_aHD) GArrowTikZ.TFCo:R:GArrowUnitGArrowTikZ } in
722 @ co_aHB::GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ
724 GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ
726 TYPE GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ } in
728 @ co_aHH::GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ
733 (sym co_aHB) GArrowTikZ.TFCo:R:GArrowTensorGArrowTikZ } in
735 @ co_aHx::GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ
737 GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ
739 TYPE GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ } in
741 @ co_aLd::GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ ~ ()
743 TYPE trans (sym co_aHx) GArrowTikZ.TFCo:R:GArrowUnitGArrowTikZ } in
745 @ co_aHv::GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ
747 GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ
749 TYPE GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ } in
751 @ co_aLe::GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ
756 (sym co_aHv) GArrowTikZ.TFCo:R:GArrowTensorGArrowTikZ } in
758 @ co_aHr::GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ
760 GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ
762 TYPE GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ } in
764 @ co_aLf::GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ ~ ()
766 TYPE trans (sym co_aHr) GArrowTikZ.TFCo:R:GArrowUnitGArrowTikZ } in
768 @ co_aHp::GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ
770 GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ
772 TYPE GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ } in
774 @ co_aLg::GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ
779 (sym co_aHp) GArrowTikZ.TFCo:R:GArrowTensorGArrowTikZ } in
782 :: GHC.HetMet.GArrow.GArrowSwap
783 GArrowTikZ.GArrowTikZ
784 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
785 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
788 GHC.HetMet.GArrow.$p3GArrowSTKC
789 @ GArrowTikZ.GArrowTikZ $dGArrowSTKC_aHg } in
792 :: GHC.HetMet.GArrow.GArrow
793 GArrowTikZ.GArrowTikZ
794 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
795 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
798 GHC.HetMet.GArrow.$p1GArrowSwap
799 @ GArrowTikZ.GArrowTikZ
800 @ (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
801 @ (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
802 $dGArrowSwap_aHn } in
804 $dCategory_aHF :: Control.Category.Category GArrowTikZ.GArrowTikZ
807 GHC.HetMet.GArrow.$p1GArrow
808 @ GArrowTikZ.GArrowTikZ
809 @ (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
810 @ (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
814 :: GHC.HetMet.GArrow.GArrow
815 GArrowTikZ.GArrowTikZ
817 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
821 `cast` (GHC.HetMet.GArrow.T:GArrow
822 GArrowTikZ.GArrowTikZ
824 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
825 :: GHC.HetMet.GArrow.T:GArrow
826 GArrowTikZ.GArrowTikZ
827 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
828 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
830 GHC.HetMet.GArrow.T:GArrow
831 GArrowTikZ.GArrowTikZ
833 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)) } in
836 :: GHC.HetMet.GArrow.GArrow GArrowTikZ.GArrowTikZ (,) ()
840 `cast` (GHC.HetMet.GArrow.T:GArrow GArrowTikZ.GArrowTikZ (,) co_aHG
841 :: GHC.HetMet.GArrow.T:GArrow
842 GArrowTikZ.GArrowTikZ
844 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
846 GHC.HetMet.GArrow.T:GArrow GArrowTikZ.GArrowTikZ (,) ()) } in
849 :: GHC.HetMet.GArrow.GArrowSwap
850 GArrowTikZ.GArrowTikZ
851 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
856 `cast` (GHC.HetMet.GArrow.T:GArrowSwap
857 GArrowTikZ.GArrowTikZ
858 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
860 :: GHC.HetMet.GArrow.T:GArrowSwap
861 GArrowTikZ.GArrowTikZ
862 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
863 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
865 GHC.HetMet.GArrow.T:GArrowSwap
866 GArrowTikZ.GArrowTikZ
867 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
871 :: GHC.HetMet.GArrow.GArrowSwap GArrowTikZ.GArrowTikZ (,) ()
875 `cast` (GHC.HetMet.GArrow.T:GArrowSwap
876 GArrowTikZ.GArrowTikZ co_aHH ()
877 :: GHC.HetMet.GArrow.T:GArrowSwap
878 GArrowTikZ.GArrowTikZ
879 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
882 GHC.HetMet.GArrow.T:GArrowSwap GArrowTikZ.GArrowTikZ (,) ()) } in
885 :: GHC.HetMet.GArrow.GArrowCopy
886 GArrowTikZ.GArrowTikZ
887 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
888 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
891 GHC.HetMet.GArrow.$p2GArrowSTKC
892 @ GArrowTikZ.GArrowTikZ $dGArrowSTKC_aHg } in
895 :: GHC.HetMet.GArrow.GArrow
896 GArrowTikZ.GArrowTikZ
897 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
898 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
901 GHC.HetMet.GArrow.$p1GArrowCopy
902 @ GArrowTikZ.GArrowTikZ
903 @ (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
904 @ (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
905 $dGArrowCopy_aHm } in
907 $dCategory_aHz :: Control.Category.Category GArrowTikZ.GArrowTikZ
910 GHC.HetMet.GArrow.$p1GArrow
911 @ GArrowTikZ.GArrowTikZ
912 @ (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
913 @ (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
917 :: GHC.HetMet.GArrow.GArrow
918 GArrowTikZ.GArrowTikZ
919 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
924 `cast` (GHC.HetMet.GArrow.T:GArrow
925 GArrowTikZ.GArrowTikZ
926 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
928 :: GHC.HetMet.GArrow.T:GArrow
929 GArrowTikZ.GArrowTikZ
930 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
931 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
933 GHC.HetMet.GArrow.T:GArrow
934 GArrowTikZ.GArrowTikZ
935 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
939 :: GHC.HetMet.GArrow.GArrow GArrowTikZ.GArrowTikZ (,) ()
943 `cast` (GHC.HetMet.GArrow.T:GArrow GArrowTikZ.GArrowTikZ co_aLe ()
944 :: GHC.HetMet.GArrow.T:GArrow
945 GArrowTikZ.GArrowTikZ
946 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
949 GHC.HetMet.GArrow.T:GArrow GArrowTikZ.GArrowTikZ (,) ()) } in
952 :: GHC.HetMet.GArrow.GArrowCopy
953 GArrowTikZ.GArrowTikZ
955 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
959 `cast` (GHC.HetMet.GArrow.T:GArrowCopy
960 GArrowTikZ.GArrowTikZ
962 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
963 :: GHC.HetMet.GArrow.T:GArrowCopy
964 GArrowTikZ.GArrowTikZ
965 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
966 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
968 GHC.HetMet.GArrow.T:GArrowCopy
969 GArrowTikZ.GArrowTikZ
971 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)) } in
974 :: GHC.HetMet.GArrow.GArrowCopy GArrowTikZ.GArrowTikZ (,) ()
978 `cast` (GHC.HetMet.GArrow.T:GArrowCopy
979 GArrowTikZ.GArrowTikZ (,) co_aLd
980 :: GHC.HetMet.GArrow.T:GArrowCopy
981 GArrowTikZ.GArrowTikZ
983 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
985 GHC.HetMet.GArrow.T:GArrowCopy GArrowTikZ.GArrowTikZ (,) ()) } in
988 :: GHC.HetMet.GArrow.GArrowDrop
989 GArrowTikZ.GArrowTikZ
990 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
991 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
994 GHC.HetMet.GArrow.$p1GArrowSTKC
995 @ GArrowTikZ.GArrowTikZ $dGArrowSTKC_aHg } in
998 :: GHC.HetMet.GArrow.GArrow
999 GArrowTikZ.GArrowTikZ
1000 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
1001 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
1004 GHC.HetMet.GArrow.$p1GArrowDrop
1005 @ GArrowTikZ.GArrowTikZ
1006 @ (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
1007 @ (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
1008 $dGArrowDrop_aHl } in
1010 $dCategory_aHt :: Control.Category.Category GArrowTikZ.GArrowTikZ
1013 GHC.HetMet.GArrow.$p1GArrow
1014 @ GArrowTikZ.GArrowTikZ
1015 @ (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
1016 @ (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
1020 :: GHC.HetMet.GArrow.GArrow
1021 GArrowTikZ.GArrowTikZ
1022 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
1027 `cast` (GHC.HetMet.GArrow.T:GArrow
1028 GArrowTikZ.GArrowTikZ
1029 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
1031 :: GHC.HetMet.GArrow.T:GArrow
1032 GArrowTikZ.GArrowTikZ
1033 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
1034 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
1036 GHC.HetMet.GArrow.T:GArrow
1037 GArrowTikZ.GArrowTikZ
1038 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
1042 :: GHC.HetMet.GArrow.GArrow GArrowTikZ.GArrowTikZ (,) ()
1046 `cast` (GHC.HetMet.GArrow.T:GArrow GArrowTikZ.GArrowTikZ co_aLg ()
1047 :: GHC.HetMet.GArrow.T:GArrow
1048 GArrowTikZ.GArrowTikZ
1049 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
1052 GHC.HetMet.GArrow.T:GArrow GArrowTikZ.GArrowTikZ (,) ()) } in
1055 :: GHC.HetMet.GArrow.GArrowDrop
1056 GArrowTikZ.GArrowTikZ
1058 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
1062 `cast` (GHC.HetMet.GArrow.T:GArrowDrop
1063 GArrowTikZ.GArrowTikZ
1065 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
1066 :: GHC.HetMet.GArrow.T:GArrowDrop
1067 GArrowTikZ.GArrowTikZ
1068 (GHC.HetMet.GArrow.GArrowTensor GArrowTikZ.GArrowTikZ)
1069 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
1071 GHC.HetMet.GArrow.T:GArrowDrop
1072 GArrowTikZ.GArrowTikZ
1074 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)) } in
1077 :: GHC.HetMet.GArrow.GArrowDrop GArrowTikZ.GArrowTikZ (,) ()
1081 `cast` (GHC.HetMet.GArrow.T:GArrowDrop
1082 GArrowTikZ.GArrowTikZ (,) co_aLf
1083 :: GHC.HetMet.GArrow.T:GArrowDrop
1084 GArrowTikZ.GArrowTikZ
1086 (GHC.HetMet.GArrow.GArrowUnit GArrowTikZ.GArrowTikZ)
1088 GHC.HetMet.GArrow.T:GArrowDrop GArrowTikZ.GArrowTikZ (,) ()) } in
1090 @ co_aHh::GHC.Types.Int ~ GHC.Types.Int
1091 co_aHh = TYPE sym co_aLt } in
1092 (GArrowTikZ.$WTikZ_const (GHC.Types.I# 12))
1093 `cast` (GArrowTikZ.GArrowTikZ () co_aHh
1094 :: GArrowTikZ.GArrowTikZ () GHC.Types.Int
1096 GArrowTikZ.GArrowTikZ () GHC.Types.Int)))); } in
1099 :Main.main :: GHC.Types.IO ()
1101 :Main.main = GHC.TopHandler.runMainIO @ () Main.main
1107 ==================== Desugar ====================
1109 :: forall (tv_~N6 :: * -> * -> *) tv_~N7.
1110 GHC.HetMet.Private.PGArrow
1111 tv_~N6 (GHC.HetMet.GArrow.GArrowUnit tv_~N6) tv_~N7
1112 -> GHC.HetMet.Private.PGArrow
1113 tv_~N6 (GHC.HetMet.GArrow.GArrowUnit tv_~N6) tv_~N7
1116 \ (@ tv_~N6::* -> * -> *)
1119 :: GHC.HetMet.Private.PGArrow
1120 tv_~N6 (GHC.HetMet.GArrow.GArrowUnit tv_~N6) tv_~N7) ->
1123 :: GHC.HetMet.Private.PGArrow
1125 (GHC.HetMet.GArrow.GArrowUnit tv_~N6)
1126 (GHC.HetMet.GArrow.GArrowUnit tv_~N6)
1129 GHC.HetMet.Private.pga_id
1130 @ tv_~N6 @ (GHC.HetMet.GArrow.GArrowUnit tv_~N6) } in
1133 :: GHC.HetMet.Private.PGArrow
1134 tv_~N6 (GHC.HetMet.GArrow.GArrowUnit tv_~N6) tv_~N7
1139 :: GHC.HetMet.Private.PGArrow
1141 (GHC.HetMet.GArrow.GArrowUnit tv_~N6)
1142 (GHC.HetMet.GArrow.GArrowUnit tv_~N6)
1145 GHC.HetMet.Private.pga_id
1146 @ tv_~N6 @ (GHC.HetMet.GArrow.GArrowUnit tv_~N6) } in
1149 :: GHC.HetMet.Private.PGArrow
1150 tv_~N6 (GHC.HetMet.GArrow.GArrowUnit tv_~N6) tv_~N7
1152 ev_~Ni = ev_~N8 } in
1155 :: GHC.HetMet.Private.PGArrow
1157 (GHC.HetMet.GArrow.GArrowUnit tv_~N6)
1158 (GHC.HetMet.GArrow.GArrowUnit tv_~N6)
1161 GHC.HetMet.Private.pga_drop
1162 @ tv_~N6 @ (GHC.HetMet.GArrow.GArrowUnit tv_~N6) } in
1163 GHC.HetMet.Private.pga_comp
1165 @ (GHC.HetMet.GArrow.GArrowUnit tv_~N6)
1166 @ (GHC.HetMet.GArrow.GArrowUnit tv_~N6)
1170 GHC.HetMet.Private.pga_comp
1172 @ (GHC.HetMet.GArrow.GArrowUnit tv_~N6)
1173 @ (GHC.HetMet.GArrow.GArrowUnit tv_~N6)
1178 Main.maincoercionKind
1179 base:GHC.HetMet.GArrow.GArrowUnit{tc 02y}
1180 main:GArrowTikZ.GArrowTikZ{tc roV}
1182 ghc-prim:GHC.Unit.(){(w) tc 40}
1183 ghc-stage2: coreTypeToWeakType