--================================================================================
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-} [] [])