testsuite/tests/typecheck/should_fail/T15515.stderr


1
2
3
4
5
6


T15515.hs:16:10: error:
    • Illegal type synonym family application ‘F’ in instance:
        C D
        Use -fprint-explicit-kinds to see the kind arguments
    • In the instance declaration for ‘C (D :: F -> Type)’