T14646.hs:(5,2)-(6,25): Splicing declarations
    [d| f :: (forall a. a) -> Int
        f _ = undefined |]
  ======>
    f :: (forall a. a) -> Int
    f _ = undefined