T14817.hs:(7,3)-(8,34): Splicing declarations
    [d| data family Foo :: Type
        
        data instance Foo :: Type |]
  ======>
    data family Foo :: Type
    data instance Foo :: Type