--================================================================================
Typechecked:
{- nonrec -}
scsel_APrelBaseEq{-aG7,x-} =
    _/\_ a{-r3e-} -> \ tpl_B1 ->
	case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
op1{-r3f,x-} =
    _/\_ a{-r3e-} -> \ tpl_B1 ->
	case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
{- nonrec -}
AbsBinds
[a{-aG6-}]
[d.A_aFZ]
[([a{-aG6-}], $mop1{-rG8,x-}, op1_aG1)]
    AbsBinds [] [] [([], op1_aG1, op1_aG3)]
	op1_aG3
	    =   GHCerr.noDefaultMethodError{-8k,p-}
		    (a{-aG6-} -> a{-aG6-}) "Class A Method op1"
{- nonrec -}
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
ArrBase IO PrelNum
_usages_
PrelBase 1 :: $d15 1 $d32 1 $d7 1 Eq 1;
PrelNum 1 :: $d18 1;
_exports_
ShouldSucceed A(op1);
_declarations_
1 $mop1 _:_ _forall_ [a] {A a} => a -> a ;;
1 class {PrelBase.Eq r3e} => A r3e where {op1 :: r3e -> r3e} ;