--================================================================================
Typechecked:
{- nonrec -}
{- nonrec -}
AbsBinds
[t{-ang-}, t{-ani-}]
[]
[([t{-ang-}, t{-ani-}], f{-r3g,x-}, f_an4)]
    f_an4
	(x_r3d@_) (y_r3f@_)
		=   x_r3d
{- nonrec -}
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
ArrBase IO PrelNum
_exports_
ShouldSucceed f;
_declarations_
1 f _:_ _forall_ [a b] => a -> b -> a ;;