Add test for Trac #14232
[ghc.git] / testsuite / tests / typecheck / should_fail / T14232.stderr
1
2 T14232.hs:3:6: error:
3     • Expected kind ‘* -> *’, but ‘String -> a’ has kind ‘*’
4     • In the type signature: f :: (String -> a) String -> a