Improve improvement in the constraint solver
[ghc.git] / testsuite / tests / typecheck / should_fail / T7368.stderr
1
2 T7368.hs:3:10: error:
3     Couldn't match kind ‘* -> *’ with ‘*’
4     When matching types
5       c0 :: (* -> *) -> *
6       (->) a0 :: * -> *
7     Expected type: a0 -> b0
8       Actual type: c0 Maybe
9     In the first argument of ‘b’, namely ‘(l Nothing)’
10     In the expression: b (l Nothing)