-
-
-================================================================================
-Typechecked:
-Twist2{-r9,x-}{i} = \ tpl_B1 -> Twist2{-r9,x-}{i} {tpl_B1}
+==================== Typechecked ====================
+Twist2{-r4,x-}{i} = \ tpl_B1 -> Twist2{-r4,x-}{i} {tpl_B1}
Twine2{-r8,x-}{i} = \ tpl_B1 -> Twine2{-r8,x-}{i} {tpl_B1}
-AbsBinds [] [] [([], $d1{-rBa,x-}, d.Eval_aB2)]
- d.Eval_aB2 = ({-dict-} [] [])
-AbsBinds [] [] [([], $d2{-rBc,x-}, d.Eval_aB7)]
- d.Eval_aB7 = ({-dict-} [] [])
+AbsBinds [] [] [([], $d1{-rBi,x-}, d.Eval_aBa)]
+ d.Eval_aBa = ({-dict-} [] [])
+AbsBinds [] [] [([], $d2{-rBk,x-}, d.Eval_aBf)]
+ d.Eval_aBf = ({-dict-} [] [])
+
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_