1 ghc: module version changed to 1; reason: no old .hi file
2 _interface_ ShouldSucceed 1
4 Addr ArrBase Foreign IO PrelBounded PrelNum
6 ShouldSucceed k main s;
8 1 k _:_ _forall_ [ta tb] => tb -> ta -> tb ;;
9 1 main _:_ _forall_ [ta] => ta -> ta ;;
10 1 s _:_ _forall_ [ta tb tc] => (tb -> tc -> ta) -> (tb -> tc) -> tb -> ta ;;