{-# htermination error :: String -> a #-}