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