T12530.hs:(8,2)-(15,7): Splicing declarations
    [d| f :: Maybe Int -> Maybe Int
        f = id @(Maybe Int)
        g :: forall a. a
        g = undefined @(_) @(a) |]
  ======>
    f :: Maybe Int -> Maybe Int
    f = id @(Maybe Int)
    g :: forall a. a
    g = undefined @_ @a