T7524.hs:5:15: error:
    Conflicting family instance declarations:
      forall k2 (a :: k2). F a a = Int -- Defined at T7524.hs:5:15
      forall k2 k1 (b :: k2) (a :: k1).
        F a b = Bool -- Defined at T7524.hs:6:15