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