T15331.hs:(7,3)-(9,6): Splicing declarations
    [d| f :: Proxy (Int -> Int)
        f = Proxy @(Int -> Int) |]
  ======>
    f :: Proxy (Int -> Int)
    f = Proxy @(Int -> Int)