testsuite/tests/polykinds/T7341.stderr


1
2
3
4
5
6


T7341.hs:11:12:
    Expecting one more argument to ‘[]’
    Expected a type, but ‘[]’ has kind ‘* -> *’
    In the first argument of ‘C’, namely ‘[]’
    In the instance declaration for ‘C []’