path: root/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail135.stderr

tcfail135.hs:6:23:
    `f' is not applied to enough type arguments
    Expected kind `?', but `f' has kind `k0 -> *'
    In the type `f a -> f'
    In the class declaration for `Foo'