TH_TyInstWhere1.hs:(5,3)-(7,24): Splicing declarations
    [d| type family F (a :: k) (b :: k) :: Bool where
          F a a = True
          F a b = False |]
  ======>
    type family F (a :: k) (b :: k) :: Bool where
      F a a = True
      F a b = False