{-# htermination read :: String -> (Ratio Int) #-}