--================================================================================
Typechecked:
{- nonrec -}
{- nonrec -}
AbsBinds
[t{-aBi-}, t{-aBk-}]
[]
[([t{-aBi-}, t{-aBk-}], x{-r3i,x-}, x_aB3), ([t{-aBi-}, t{-aBk-}],
					     y{-r3h,x-},
					     y_aB4)]
    (x_aB3, y_aB4)
	=   (\ p_r3e   ->  p_r3e, \ q_r3g   ->  q_r3g)
{- nonrec -}

NOTE: Simplifier still going after 4 iterations; bailing out.
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
ArrBase IO PrelNum
_exports_
ShouldSucceed x y;
_declarations_
1 x _:_ _forall_ [a b] => a -> a ;;
1 y _:_ _forall_ [a b] => b -> b ;;