blob: 12450bc4b2f59597af9bd40d067c18a3468b07f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
tcfail113.hs:12:7: error: [GHC-83865]
• Expecting one more argument to ‘Maybe’
Expected a type, but ‘Maybe’ has kind ‘* -> *’
• In the type signature: f :: [Maybe]
tcfail113.hs:15: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
tcfail113.hs:18:6: error: [GHC-83865]
• Expected kind ‘* -> *’, but ‘Int’ has kind ‘*’
• In the type signature: h :: Int Int
|