module TypeApplication where

a = (id @Int 1)