-ghc: module version changed to 1; reason: no old .hi file
-_exports_
-ShouldSucceed k main s;
-_declarations_
-1 k _:_ _forall_ [a b] => a -> b -> a ;;
-1 main _:_ _forall_ [a] => a -> a ;;
-1 s _:_ _forall_ [a b c] => (a -> c -> b) -> (a -> c) -> a -> b ;;
+__export ShouldSucceed k main s;
+1 k :: __forall [t t1] => t -> t1 -> t ;
+1 main :: __forall [t] => t -> t ;
+1 s :: __forall [t t1 t2] => (t -> t2 -> t1) -> (t -> t2) -> t -> t1 ;