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