testsuite/tests/typecheck/should_fail/tcfail160.stderr


1
2
3
4
5


tcfail160.hs:7:8: error: [GHC-83865]
    • Expected kind ‘* -> *’, but ‘Int’ has kind ‘*’
    • In the first argument of ‘T’, namely ‘Int’
      In the type signature: g :: T Int