{-# htermination readLn :: IO (Ratio Int) #-}