+
+
+--================================================================================
+Typechecked:
+`Y' =
+ `Y {}'
+`Bar' =
+ `\ tpl ->
+ Bar {tpl}'
+`opx' =
+ `_/\_ a{-r6B-} -> \ tpl ->
+ tpl'
+AbsBinds [`a{-aHH-}'] [`d.Baz'] [([`a{-aHH-}'], `$mopx', `opx')]
+ AbsBinds [] [] [([], `opx', `opx')]
+ `opx'
+ = `GHCerr.noDefaultMethodError
+ (PrelBase.Int -> Bar -> a{-aHH-} -> a{-aHH-})
+ "Class Baz Method opx"'
+AbsBinds [] [] [([], `$d1', `d.Eval')]
+ `d.Eval' =
+ ({-dict-} [] [])
+AbsBinds [] [] [([], `$d2', `d.Eval')]
+ `d.Eval' =
+ ({-dict-} [] [])