path: root/testsuite/tests/polykinds/T7341.stderr

T7341.hs:11:12:
    Expecting one more argument to `[]'
    The first argument of `C' should have kind `*',
      but `[]' has kind `* -> *'
    In the instance declaration for `C []'