-==================== Typechecked ====================
-AbsBinds [takX, takZ] [] [([takX, takZ], k{-r3n,x-}, k_akH)]
- k_akH x_r3l y_r3m = x_r3l
-AbsBinds
-[talz, talB, talD]
-[]
-[([talz, talB, talD], s{-r3o,x-}, s_al1)]
- s_al1 f_r3h g_r3i x_r3j = f_r3h x_r3j g_r3i x_r3j
-AbsBinds [talP] [] [([talP], main{-r3p,x-}, main_alF)]
- main_alF x_r3f
- = s{-r3o,x-} [talP, talP, GHC.Void{-3T,W-} -> talP] k{-r3n,x-}
- [GHC.Void{-3T,W-}
- -> talP, talP]
- k{-r3n,x-} [GHC.Void{-3T,W-}, talP]
- x_r3f
-
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_