{-# LANGUAGE TypeApplications #-}

module T11456 where

a = show @Int