testsuite/tests/ghc-regress/typecheck/should_fail/tcfail110.stderr


1
2
3
4
5
6


tcfail110.hs:8:30:
    `Foo a' is not applied to enough type arguments
    Expected kind `*', but `Foo a' has kind `* -> *'
    In the type signature for `bar':
      bar :: String -> (forall a. Foo a) -> IO ()