{-# LANGUAGE TypeApplications #-}

module T12529 where

f = p @ Int