{-# htermination sort :: [(Ratio Int)] -> [(Ratio Int)] #-} import List