{-# htermination union :: Eq a => [(Maybe a)] -> [(Maybe a)] -> [(Maybe a)] #-} import List