Promote/Pragmas.hs:(0,0)-(0,0): Splicing declarations
    promote
      [d| {-# INLINE foo #-}
          foo :: Bool
          foo = True |]
  ======>
    {-# INLINE foo #-}
    foo :: Bool
    foo = True
    type FooSym0 = Foo
    type family Foo :: Bool where
      Foo = TrueSym0