NOTE: Simplifier still going after 4 iterations; bailing out.
ghc: module version changed to 1; reason: no old .hi file
-_interface_ ShouldSucceed 1
+_interface_ ShouldSucceed 1 302
_instance_modules_
-Addr ArrBase Foreign IO PrelBounded PrelNum
+IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
_exports_
ShouldSucceed x y;
_declarations_
-1 x _:_ _forall_ [ta tb] => ta -> ta ;;
-1 y _:_ _forall_ [ta tb] => tb -> tb ;;
+1 x _:_ _forall_ [a b] => a -> a ;;
+1 y _:_ _forall_ [a b] => b -> b ;;