{-# htermination words :: String -> [String] #-}