为什么Haskell抛出这个错误

Question

试图编写函数来计算列表项并返回带有数字的元组列表，我知道我可以用'zip'函数来完成它，但任务是用递归编写它：所以我得到“不能构造一个无限类型：a = [a]当概括类型为数字''时，我做错了什么？

numerize' :: [a] -> Int -> [(a, Int)] 
numerize' [] _ = [] 
numerize' [x] n = [(x, n)] 
numerize' [x:xs] n = (x, n) : numerize' xs (n + 1) 

感谢，所有最好的，重写器

Answer 1

[x:xs] 

应该

(x:xs)