-tcfail078.hs:5:6:
- ‘Integer’ is applied to too many type arguments
- In the type signature for ‘f’: f :: Integer i => i
+tcfail078.hs:5:6: error:
+ • Expecting one fewer arguments to ‘Integer’
+ Expected kind ‘* -> Constraint’, but ‘Integer’ has kind ‘*’
+ • In the type signature:
+ f :: Integer i => i