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