3 --================================================================================
10 [([t{-aBi-}, t{-aBk-}], x{-r3i,x-}, x_aB3), ([t{-aBi-}, t{-aBk-}],
14 = (\ p_r3e -> p_r3e, \ q_r3g -> q_r3g)
17 NOTE: Simplifier still going after 4 iterations; bailing out.
18 ghc: module version changed to 1; reason: no old .hi file
19 _interface_ ShouldSucceed 1
25 1 x _:_ _forall_ [a b] => a -> a ;;
26 1 y _:_ _forall_ [a b] => b -> b ;;