type Id = Integer

incrementId :: Id -> Id
incrementId x = x

main = incrementId 3
--
3