path: root/testsuite/tests/typecheck/should_fail/T15515.stderr

T15515.hs:17:10: error:
    • Illegal type synonym family application ‘F’ in instance:
        C @{F -> *} D
    • In the instance declaration for ‘C (D :: F -> Type)’