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


1
2
3
4
5
6


T7536.hs:8:21: error:
    • Type variable ‘a’ is mentioned in the RHS,
        but not bound on the LHS of the family instance
        The real LHS (expanding synonyms) is: TF Int
    • In the type instance declaration for ‘TF’