1 ghc: module version changed to 1; reason: no old .hi file
3 ShouldSucceed e0 e1 e2 q Empty{Empty};
5 1 data Empty $r3H :: (* -> *) = Empty (_forall_ [$r3K] {PrelBase.Ord $r3K} => $r3H $r3K) ;
6 1 e0 _:_ Empty PrelBase.[] ;;
7 1 e1 _:_ Empty PrelBase.[] ;;
8 1 e2 _:_ Empty PrelBase.[] ;;
9 1 q _:_ _forall_ [$a] {PrelBase.Ord $a} => [$a] ;;