test :: Proxy 'Int