ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
_exports_
ShouldSucceed k main s;
_declarations_
1 k _:_ _forall_ [a b] => b -> a -> b ;;
1 main _:_ _forall_ [a] => a -> a ;;
1 s _:_ _forall_ [a b c] => (b -> c -> a) -> (b -> c) -> b -> a ;;