T12045TH1.hs:(8,2)-(10,53): Splicing declarations
    [d| type family F (a :: k) :: Type where
          F @Type Int = Bool
          F @(Type -> Type) Maybe = Char |]
  ======>
    type family F (a :: k) :: Type where
      F @Type Int = Bool
      F @(Type -> Type) Maybe = Char
T12045TH1.hs:13:2-32: Splicing declarations
    [d| data family D (a :: k) |] ======> data family D (a :: k)
T12045TH1.hs:15:2-41: Splicing declarations
    [d| data instance D @Type a = DBool |]
  ======>
    data instance D @Type a = DBool
T12045TH1.hs:17:2-51: Splicing declarations
    [d| data instance D @(Type -> Type) b = DChar |]
  ======>
    data instance D @(Type -> Type) b = DChar