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