-==================== Typechecked ====================
-AbsBinds
-[taCL]
-[d.Eq2_aCQ, d.Num_aCT]
-[([taCL], f{-r3J,x-}, f_aCy)]
- d.Eq2_aCO = $d1{-rE7,x-} taCL d.Eq2_aCQ
- deq_aE5 = deq{-r3L,x-} [taCL] d.Eq2_aCO
- fromInt_aE4 = PrelBase.fromInt{-8R,p-} taCL d.Num_aCT
- lit_aE3 = fromInt_aE4 PrelBase.I#{-5b,w-}{i} 1#
- f_aCy x_r3g = deq_aE5 x_r3g [lit_aE3] (taCL)
-AbsBinds [taDa] [d.Eq2_aDA] [([taDa], $d1{-rE7,x-}, d.Eq2_aCZ)]
- d.Eq2_aDD = d.Eq2_aDA
- deq_aEd = deq{-r3L,x-} taDa d.Eq2_aDD
- d.Eq2_aDF = d.Eq2_aDA
- foo_aEc = foo{-r3K,x-} taDa d.Eq2_aDF
- deq_aEb = deq_aE9
- foo_aEa = foo_aE8
- AbsBinds [] [] [([], deq_aE9, deq_aD3)]
- deq_aD3 (a_r3n PrelBase.:{-55,w-}{i} as_r3o)
- (b_r3p PrelBase.:{-55,w-}{i} bs_r3q)
- = if deq_aEd a_r3n foo_aEc b_r3p then
- deq_aEb as_r3o foo_aEa bs_r3q
- else
- PrelBase.False{-58,w-}{i}
- AbsBinds [] [] [([], foo_aE8, foo_aDx)]
- foo_aDx x_r3u = x_r3u
- d.Eq2_aCZ = ({-dict-} [] [deq_aE9, foo_aE8])
-AbsBinds [] [] [([], $d2{-rE6,x-}, d.Eq2_aDL)]
- AbsBinds [] [] [([], deq_aEf, deq_aDP)]
- deq_aDP x_r3A y_r3B = PrelBase.True{-5E,w-}{i}
- AbsBinds [] [] [([], foo_aEe, foo_aDW)]
- foo_aDW x_r3F = x_r3F
- d.Eq2_aDL = ({-dict-} [] [deq_aEf, foo_aEe])
-deq{-r3L,x-} =
- _/\_ t12 -> \ tpl_B1 ->
- case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2 -> tpl_B1;}
-foo{-r3K,x-} =
- _/\_ t12 -> \ tpl_B1 ->
- case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2 -> tpl_B2;}
-AbsBinds [taE2] [d.Eq2_aE1] []
-
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_