Haskell循环结构

Question

我有ones/0的两个定义，两者都产生了无限的列表：

ones = 1 : ones

ones = repeat 1
repeat::a->[a]
repeat x = x : repeat x

我被告知第一个是循环结构，而第二个不是。真的吗？那究竟是什么意思/如何判断结构是否是循环的？