为什么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)