Fix #13819 by refactoring TypeEqOrigin.uo_thing
[ghc.git] / testsuite / tests / typecheck / should_fail / T7609.stderr
1
2 T7609.hs:7:16: error:
3     • Expecting one more argument to ‘Maybe’
4       Expected a type, but ‘Maybe’ has kind ‘* -> *’
5     • In the type signature: f :: (a `X` a, Maybe)
6
7 T7609.hs:10:7: error:
8     • Expected a constraint, but ‘a `X` a’ has kind ‘*’
9     • In the type signature: g :: (a `X` a) => Maybe
10
11 T7609.hs:10:19: error:
12     • Expecting one more argument to ‘Maybe’
13       Expected a type, but ‘Maybe’ has kind ‘* -> *’
14     • In the type signature: g :: (a `X` a) => Maybe