问为什么循环函数不能处理空列表？

EN

我在我的一些项目中使用了函数cycle，今天我发现它并不是一个完整的函数，如下面的GHCI示例所示：

λ> Data.List.cycle []
*** Exception: Prelude.cycle: empty list

我知道Haskells尝试使用完全函数(除了基本函数head和tail之外)，我不完全确定为什么cycle不是其中之一。在我看来，空列表的cycle就是空列表，我不认为这有什么问题。为什么空列表的cycle会抛出错误？

编辑：基于第一个答案，我认为我的想法并不完全清楚:我不希望cycle []是一个永无止境的计算。相反，我认为cycle []应该是：

cycle :: [a] -> [a]
cycle [] = []
cycle xs = xs ++ cycle xs

[]就是cycle []，因为除了我之外，所有的操作都做了我想做的事情。例如，take 3 []是[]，因此take 3 (cycle [])可以是[]。这个解决方案有什么问题？