id x = x main = id id (5 :: Integer) -- 5