path: root/testsuite/tests/typecheck/should_fail/T14232.stderr

T14232.hs:3:6: error:
    • Expected kind ‘* -> *’, but ‘String -> a’ has kind ‘*’
    • In the type signature: f :: (String -> a) String -> a