{-# htermination print :: (Ratio Int) -> IO () #-}