testsuite/tests/typecheck/should_fail/tcfail110.stderr


1
2
3
4
5


tcfail110.hs:8:30: error:
    Expecting one more argument to ‘Foo a’
    Expected a type, but ‘Foo a’ has kind ‘* -> *’
    In the type signature: bar :: String -> (forall a. Foo a) -> IO ()