testsuite/tests/indexed-types/should_fail/T17008a.stderr


1
2
3
4
5
6
7


T17008a.hs:12:5: error:
    • Type variable ‘a2’ is mentioned in the RHS,
        but not bound on the LHS of the family instance
        The real LHS (expanding synonyms) is: F @a1 x
    • In the equations for closed type family ‘F’
      In the type family declaration for ‘F’