Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / T11313.stderr
1
2 T11313.hs:7:12: error:
3     • Expected kind ‘* -> *’, but ‘*’ has kind ‘*’
4     • In the type ‘*’
5       In the expression: fmap @*
6       In an equation for ‘x’: x = fmap @*