path: root/testsuite/tests/indexed-types/should_fail/T7536.stderr

T7536.hs:8:15:
    Family instance purports to bind type variable ‘a’
      but the real LHS (expanding synonyms) is: TF Int = ...
    In the type instance declaration for ‘TF’