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