f i = i :: Int

g :: Int -> ()
g i = ()