T7536.hs:8:18: 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’