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