{-# htermination cycle :: [a] -> [a] #-}