请写出 p 71 页 [习题][ejs5] 1，2，3，4 的函数的`Hindley-Milner` 类型签名

1.

addTwo :: Int -> Int
addTwo x = x + 2

2.

swap :: (a, b) -> (b, a)
swap (x,y) = (y,x)

3.

head' :: [a] -> a
head' (x:xs) = x

4.

length' :: [a] -> Int
length' [] = 0
length' (x:xs) = 1 + length' xs

注意：以上类型签名仅仅是 `Hindley-Milner` 类型系统推导的结果，实际上这些函数的类型签名可以更加精确。例如，`length'` 的类型签名可以写成 `Foldable t => t a -> Int`，这样可以支持更多类型的数据结构。