-==================== Typechecked ====================
-Node{-r2,x-}{i} =
- \ tpl_B1 tpl_B2 -> Node{-r2,x-}{i} {tpl_B1 tpl_B2}
-AbsBinds [] [] [([], $d1{-rB1,x-}, d.Eval_aAY)]
- d.Eval_aAY = ({-dict-} [] [])
-
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_