看一下take函数的type signature：
ghci> :type take
take :: Int -> [a] -> [a]
这表明它有两个参数，返回值是一个list。“->”是右相关（right-associative），因此实际上也可以把take函数的type signature写成这样：
ghci> :type take
take :: Int -> ([a] -> [a])
因此也可以这样理解take函数：它有一个Int参数，返回值是另一个函数。这个函数的参数和返回类型是同一个类型的list。