ghc/tests/typecheck/should_fail/tcfail044.stderr

   1
   2 tcfail044.hs:5:
   3     Illegal instance declaration for `Eq (a -> a)'
   4         (the instance type must be of form (T a b c)
   5          where T is not a synonym, and a,b,c are distinct type variables)
   6
   7 tcfail044.hs:8:
   8     Illegal instance declaration for `Num (a -> a)'
   9         (the instance type must be of form (T a b c)
  10          where T is not a synonym, and a,b,c are distinct type variables)
  11
  12 Compilation had errors
  13