-ghc: module version changed to 1; reason: no old .hi file
-_exports_
-ShouldSucceed g;
-_declarations_
-1 g _:_ _forall_ [a b] {PrelBase.Num a} => ([a], b) -> a ;;
+__export ShouldSucceed g;
+1 g :: __forall [t t1] => {PrelNum.Num t1} -> ([t1], t) -> t1 ;