3 --================================================================================
10 [([t{-ano-}, t{-anq-}], k{-r3q,x-}, k_ang)]
17 [t{-anO-}, t{-anQ-}, t{-anS-}]
19 [([t{-anO-}, t{-anQ-}, t{-anS-}], s{-r3r,x-}, s_ans)]
22 = f_r3h x_r3l g_r3j x_r3l
25 AbsBinds [t{-ao8-}] [] [([t{-ao8-}], main{-r3s,x-}, main_anU)]
28 [t{-ao8-}, GHC.Void{-3T,p-} -> t{-ao8-}, t{-ao8-}] k{-r3q,x-}
29 [t{-ao8-}, GHC.Void{-3T,p-}
32 [t{-ao8-}, GHC.Void{-3T,p-}]
35 ghc: module version changed to 1; reason: no old .hi file
36 _interface_ ShouldSucceed 1
40 ShouldSucceed k main s;
42 1 k _:_ _forall_ [a b] => a -> b -> a ;;
43 1 main _:_ _forall_ [a] => a -> a ;;
44 1 s _:_ _forall_ [a b c] => (a -> b -> c) -> (a -> b) -> a -> c ;;