3 --================================================================================
7 AbsBinds [t{-ana-}] [] [([t{-ana-}], iD{-r3f,x-}, iD_an4)]
12 AbsBinds [t{-anh-}] [] [([t{-anh-}], main{-r3g,x-}, main_anc)]
15 (t{-anh-} -> t{-anh-}) iD{-r3f,x-}
18 ghc: module version changed to 1; reason: no old .hi file
19 _interface_ ShouldSucceed 1
23 ShouldSucceed iD main;
25 1 iD _:_ _forall_ [a] => a -> a ;;
26 1 main _:_ _forall_ [a] => a -> a ;;