-defm.ShouldSucceed.A.op1 =
- /\ a.t3 ->
- \{-dict-} d.ShouldSucceed.A.t4 ->
- (error (a.t3 -> a.t3))
- "No default method for \"ShouldSucceed.A.defm.ShouldSucceed.A.op1\"\n"
-
+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} ;