1 ghc: module version changed to 1; reason: no old .hi file
2 _interface_ ShouldSucceed 1
4 IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
6 PrelBase 1 :: $d2 1 $d29 1 $d31 1 $d33 1 $d38 1 Eval 1;
8 ShouldSucceed g Reps(:Reps :Reps f) X(Tag);
10 instance {Reps PrelBase.Bool} = $d1;
11 instance _forall_ [a] => {Reps (X a)} = $d2;
12 instance _forall_ [a] => {PrelBase.Eval (X a)} = $d3;
14 1 $d1 _:_ {Reps PrelBase.Bool} ;;
15 1 $d2 _:_ _forall_ [a] => {Reps (X a)} ;;
16 1 $d3 _:_ _forall_ [a] => {PrelBase.Eval (X a)} ;;
17 1 class Reps r where {f :: r -> r -> r} ;
19 1 g _:_ _forall_ [a] {Reps a} => a -> a ;;