{-# htermination minimum :: [(Ratio Int)] -> (Ratio Int) #-}