ghc/tests/typecheck/should_compile/tc016.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds [takR, takT] [] [([takR, takT], f{-r3f,x-}, f_akx)]
   3     f_akx (x_r3d@_) (y_r3e@_) = x_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 f;
  11 _declarations_
  12 1 f _:_ _forall_ [ta tb] => tb -> ta -> tb ;;