-[taN8, taNb, taNe]
-[d.Eq_aOZ, d.Eq_aP0, d.Eq_aP1]
-[([taN8, taNb, taNe], $d1{-rTW,x-}, d.Eq_aMY)]
- d.Eq_aP5 = d.Eq_aOZ
- ==_aUe = PrelBase.=={-8Z,p-} taN8 d.Eq_aP5
- d.Eq_aP7 = d.Eq_aP0
- ==_aUf = PrelBase.=={-8Z,p-} taNb d.Eq_aP7
- d.Eq_aP9 = d.Eq_aP1
- ==_aUg = PrelBase.=={-8Z,p-} taNe d.Eq_aP9
- ==_aUh = ==_aUi
- AbsBinds [] [] [([], ==_aUi, ==_aUk)]
- ==_aUl = ==_aUe
- ==_aUm = ==_aUf
- ==_aUn = ==_aUf
- ==_aUo = ==_aUg
- ==_aUp = ==_aUg
- ==_aUk (MkFoo1{-rk,x-}{i} a1_rFT a2_rFU)
- (MkFoo1{-rk,x-}{i} b1_rFV b2_rFW)
- = (a1_rFT ==_aUe b1_rFV)
- PrelBase.&&{-rgw,p-} (a2_rFU ==_aUl b2_rFW)
- ==_aUk (:##{-rj,x-}{i} a1_rFY a2_rFZ)
- (:##{-rj,x-}{i} b1_rG0 b2_rG1)
- = (a1_rFY ==_aUf b1_rG0)
- PrelBase.&&{-rgw,p-} (a2_rFZ ==_aUg b2_rG1)
- ==_aUk (MkFoo3{-rm,x-}{i} a1_rG3 a2_rG4)
- (MkFoo3{-rm,x-}{i} b1_rG5 b2_rG6)
- = (a1_rG3 ==_aUm b1_rG5)
- PrelBase.&&{-rgw,p-} (a2_rG4 ==_aUn b2_rG6)
- ==_aUk (:***{-ro,x-}{i} a1_rG8 a2_rG9)
- (:***{-ro,x-}{i} b1_rGa b2_rGb)
- = (a1_rG8 ==_aUo b1_rGa)
- PrelBase.&&{-rgw,p-} (a2_rG9 ==_aUp b2_rGb)
- ==_aUk a_rGd b_rGe = PrelBase.False{-58,w-}{i}
- AbsBinds [] [] [([], /=_aUj, /=_aUq)]
- /=_aUq a_rGi b_rGj = PrelBase.not{-rhu,p-} ==_aUh a_rGi b_rGj
- d.Eq_aMY = ({-dict-} [] [==_aUi, /=_aUj])
+[taMv, taMy, taMB]
+[d.Eq_aOm, d.Eq_aOn, d.Eq_aOo]
+[([taMv, taMy, taMB], $d1{-rTm,x-}, d.Eq_aMl)]
+ d.Eq_aOs = d.Eq_aOm
+ ==_aTG = PrelBase.=={-8Z,p-} taMv d.Eq_aOs
+ d.Eq_aOu = d.Eq_aOn
+ ==_aTF = PrelBase.=={-8Z,p-} taMy d.Eq_aOu
+ d.Eq_aOw = d.Eq_aOo
+ ==_aTE = PrelBase.=={-8Z,p-} taMB d.Eq_aOw
+ ==_aTD = ==_aTC
+ AbsBinds [] [] [([], ==_aTC, ==_aTH)]
+ ==_aTM = ==_aTG
+ ==_aTL = ==_aTF
+ ==_aTK = ==_aTF
+ ==_aTJ = ==_aTE
+ ==_aTI = ==_aTE
+ ==_aTH (MkFoo1{-rk,x-}{i} a1_rFg a2_rFh)
+ (MkFoo1{-rk,x-}{i} b1_rFi b2_rFj)
+ = (a1_rFg ==_aTG b1_rFi)
+ PrelBase.&&{-rfg,p-} (a2_rFh ==_aTM b2_rFj)
+ ==_aTH (:##{-rj,x-}{i} a1_rFl a2_rFm)
+ (:##{-rj,x-}{i} b1_rFn b2_rFo)
+ = (a1_rFl ==_aTF b1_rFn)
+ PrelBase.&&{-rfg,p-} (a2_rFm ==_aTE b2_rFo)
+ ==_aTH (MkFoo3{-rm,x-}{i} a1_rFq a2_rFr)
+ (MkFoo3{-rm,x-}{i} b1_rFs b2_rFt)
+ = (a1_rFq ==_aTL b1_rFs)
+ PrelBase.&&{-rfg,p-} (a2_rFr ==_aTK b2_rFt)
+ ==_aTH (:***{-ro,x-}{i} a1_rFv a2_rFw)
+ (:***{-ro,x-}{i} b1_rFx b2_rFy)
+ = (a1_rFv ==_aTJ b1_rFx)
+ PrelBase.&&{-rfg,p-} (a2_rFw ==_aTI b2_rFy)
+ ==_aTH a_rFA b_rFB = PrelBase.False{-58,w-}{i}
+ AbsBinds [] [] [([], /=_aTB, /=_aTN)]
+ /=_aTN a_rFF b_rFG = PrelBase.not{-rga,p-} ==_aTD a_rFF b_rFG
+ d.Eq_aMl = ({-dict-} [] [==_aTC, /=_aTB])