1 ghc: module version changed to 1; reason: no old .hi file
3 ShouldSucceed k main s;
5 1 k _:_ _forall_ [$a $b] => $b -> $a -> $b ;;
6 1 main _:_ _forall_ [$a] => $a -> $a ;;
7 1 s _:_ _forall_ [$a $b $c] => ($c -> $b -> $a) -> ($c -> $b) -> $c -> $a ;;