1 ghc: module version changed to 1; reason: no old .hi file
2 _interface_ ShouldSucceed 1
6 PrelBase 1 :: $d2 1 $d38 1 $d40 1 $d42 1 $d47 1 $m>> 1 Eval 1 Monad 1 MonadZero 1;
8 ShouldSucceed f Pair(MkPair);
10 instance _forall_ [a b] => {PrelBase.Eval (Pair a b)} = $d1;
12 1 $d1 _:_ _forall_ [a b] => {PrelBase.Eval (Pair a b)} ;;
13 1 data Pair a b = MkPair a b ;
14 1 f _:_ _forall_ [ta tb ac :: (* -> *)] {PrelBase.Monad ac} => ac (Pair ta tb) -> ac tb ;;