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