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