blob: bc9e53ad1d2b18a8b651f362ab025512a48cd743 (
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’ is a type
• 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
|