{-# htermination unionBy :: (a -> a -> Bool) -> [a] -> [a] -> [a] #-} import List