blob: 7a7956a27ed4928ae2875dfbca0800364bc01f20 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T19142.hs:14:15: error: [GHC-83865]
• Expecting one more argument to ‘Maybe’
Expected a type, but ‘Maybe’ has kind ‘* -> *’
• In the first argument of ‘Maybe’, namely ‘Maybe’
In the type ‘Maybe Maybe’
In a pattern type signature: Maybe Maybe
T19142.hs:20:12: error: [GHC-83865]
• Expected kind ‘* -> *’, but ‘Int’ has kind ‘*’
• In the type ‘Int’
In the expression: foo @Int
In an equation for ‘g’: g x = foo @Int
|