如何在数据列表上使用GHC Generics或Data.Data来合并符合特定条件的字段？

data Person = Person { name :: String, age :: Int, address :: String } deriving (Show, Generic)

import GHC.Generics

mergeFields :: (Generic a, GShow (Rep a)) => (String -> Bool) -> [a] -> a
mergeFields condition xs = to $ gmap mergeFields' (from <$> xs)
  where
    mergeFields' :: (Generic a, GShow (Rep a)) => Rep a x -> Rep a x
    mergeFields' rep = if condition (gshow rep) then mergeFields'' rep else rep

    mergeFields'' :: (Generic a, GShow (Rep a)) => Rep a x -> Rep a x
    mergeFields'' rep = ... -- 合并符合条件的字段的具体逻辑

import Data.Data

mergeFields :: Data a => (String -> Bool) -> [a] -> a
mergeFields condition xs = mergeFields' <$> xs
  where
    mergeFields' :: Data a => a -> a
    mergeFields' x = if condition (show (toConstr x)) then mergeFields'' x else x

    mergeFields'' :: Data a => a -> a
    mergeFields'' x = ... -- 合并符合条件的字段的具体逻辑

main :: IO ()
main = do
  let people = [Person "Alice" 25 "Address 1", Person "Bob" 30 "Address 2", Person "Charlie" 35 "Address 3"]
  let merged = mergeFields (\field -> field == "age") people
  print merged