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