ghc/tests/typecheck/should_compile/tc012.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds [takG] [] [([takG], q{-r3e,x-}, q_akw)]
   3     q_akw = \ y_r3d -> y_r3d
   4
   5 ghc: module version changed to 1; reason: no old .hi file
   6 _interface_ ShouldSucceed 1
   7 _instance_modules_
   8 ArrBase IO PrelNum
   9 _exports_
  10 ShouldSucceed q;
  11 _declarations_
  12 1 q _:_ _forall_ [ta] => ta -> ta ;;