{-# LANGUAGE Haskell2010 #-}
module T18251c where

f = id @Int