+AbsBinds
+[a{-anG-}]
+[d.C_anz]
+[([a{-anG-}], $mop1{-rnJ,x-}, op1_anB)]
+ AbsBinds [] [] [([], op1_anB, op1_anD)]
+ op1_anD
+ = GHCerr.noDefaultMethodError{-8k,p-}
+ (a{-anG-} -> a{-anG-}) "Class C Method op1"
+{- nonrec -}
+ghc: module version changed to 1; reason: no old .hi file
+_interface_ H 1
+_instance_modules_
+ArrBase IO PrelNum
+_exports_
+H B(op2) C(op1);
+_declarations_
+1 $mop1 _:_ _forall_ [a] {C a} => a -> a ;;
+1 $mop2 _:_ _forall_ [a] {B a} => a -> a -> a ;;
+1 class {C r3g} => B r3g where {op2 :: r3g -> r3g -> r3g} ;
+1 class C r3l where {op1 :: r3l -> r3l} ;