module ApplyRefact1 where

a = (id @Int 1)