ghc/interpreter/test/typechecker/t014.out1

   1 ERROR "test/typechecker/t014.hs" (line 7): Type error in application
   2 *** Expression     : eval f (eval x)
   3 *** Term           : eval x
   4 *** Type           : a -> b
   5 *** Does not match : a
   6 *** Because        : unification would give infinite type
   7