--================================================================================
Typechecked:
{- nonrec -}
op1{-r3u,x-} =
    _/\_ a{-r3t-} -> \ tpl_B1 ->
	tpl_B1
{- nonrec -}
AbsBinds
[a{-anU-}]
[d.H_anN]
[([a{-anU-}], $mop1{-rnq,x-}, op1_anP)]
    AbsBinds [] [] [([], op1_anP, op1_anR)]
	op1_anR
	    =   GHCerr.noDefaultMethodError{-8k,p-}
		    (a{-anU-} -> a{-anU-} -> a{-anU-}) "Class H Method op1"
{- rec -}
AbsBinds [] [] [([], $d1{-rnZ,x-}, d.H_anE)]
    AbsBinds [] [] [([], op1_ao0, op1_anH)]
	op1_anH
	    x_r3o y_r3q
		    =   y_r3q
    d.H_anE =
	({-dict-} [] [op1_ao0])
{- nonrec -}
d.H_anX =
    $d1{-rnZ,x-}
op1_anY =
    op1{-r3u,x-}
	PrelBase.Bool{-34,p-}
	d.H_anX
{- nonrec -}
AbsBinds [] [] [([], f{-r1,x-}, f_anp)]
    f_anp
	x_r3h y_r3j
		=   op1_anY x_r3h x_r3h
{- nonrec -}
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
ArrBase IO PrelNum
_exports_
ShouldSucceed f H(op1);
_instances_
instance {H PrelBase.Bool} = $d1;
_declarations_
1 $d1 _:_ {H PrelBase.Bool} ;;
1 $mop1 _:_ _forall_ [a] {H a} => a -> a -> a ;;
1 class H r3t where {op1 :: r3t -> r3t -> r3t} ;
1 f _:_ PrelBase.Bool -> PrelBase.Int -> PrelBase.Bool ;;