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