T2677.hs:6:15:
    Conflicting family instance declarations:
      type instance A a -- Defined at T2677.hs:6:15
      type instance A Int -- Defined at T2677.hs:7:15