blob: 32bc980fe9ad87fc0818cc9f30b2ad9bc4d6b7d2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
T7609.hs:7:16: error:
• Expecting one more argument to ‘Maybe’
Expected a type, but ‘Maybe’ has kind ‘* -> *’
• In the type signature: f :: (a `X` a, Maybe)
T7609.hs:10:7: error:
• Expected a constraint, but ‘a `X` a’ has kind ‘*’
• In the type signature: g :: (a `X` a) => Maybe
T7609.hs:10:19: error:
• Expecting one more argument to ‘Maybe’
Expected a type, but ‘Maybe’ has kind ‘* -> *’
• In the type signature: g :: (a `X` a) => Maybe
|