{-# htermination fail :: String -> [] a #-}