ghc: module version changed to 1; reason: no old .hi file
_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] => ($c -> $b -> $a) -> ($c -> $b) -> $c -> $a ;;