如何在DAML中按一些自定义条件对列表进行排序？

module Main where

import DA.List

data Person = Person
  { name :: Text
  , age :: Int
  }

template Main
  with
    party : [Person]
  where
    signatory party

    controller party can
      SortParty : ContractId Main
        with
          sortedParty : [Person]
        do
          assertMsg "Party is empty" (not (isEmpty party))
          assertMsg "Party size mismatch" (length party == length sortedParty)
          assertMsg "Duplicate names in sorted party" (length (nub (map name sortedParty)) == length sortedParty)
          assertMsg "Party not sorted correctly" (isSortedBy (\p1 p2 -> age p1 <= age p2) sortedParty)
          return self

    choice SortParty : ContractId Main
      with
        sortedParty : [Person]
      controller party
        do
          return self

isSortedBy : (a -> a -> Bool) -> [a] -> Bool
isSortedBy _ [] = True
isSortedBy _ [_] = True
isSortedBy f (x:y:xs) = f x y && isSortedBy f (y:xs)