blob: c5ed9fcad9541ef132f426cd92dba73b9ef99542 (
plain)
1
2
3
4
5
6
7
8
9
10
|
T7609.hs:7:16: error:
Expecting one more argument to ‘Maybe’
The second argument of a tuple should have kind ‘*’,
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
|