ghc/tests/typecheck/should_fail/tcfail076.stderr

   1
   2 tcfail076.hs:20: A type signature is more polymorphic than the inferred type
   3                      Can't for-all the type variable(s) `taE6'
   4                      in the inferred type `(taDW -> aaDV taE6) -> aaDV taE6'
   5     In a polymorphic function argument `(\ cont' -> cont a)'
   6     In the first argument of `KContT', namely `(\ cont' -> cont a)'
   7     In the first argument of `f', namely
   8         `(\ a -> KContT (\ cont' -> cont a))'
   9     In the first argument of `unKContT', namely
  10         `(f (\ a -> KContT (\ cont' -> cont a)))'
  11
  12 Compilation had errors