如何在DAML中提取元组的组件？

template MyTemplate
  with
    party1: Party
    party2: Party
    amount: Decimal
  where
    signTransaction : ContractId MyTemplate -> Update ()
    signTransaction cid = do
      let (p1, p2, amt) = (party1, party2, amount)
      -- 使用模式匹配提取元组的组件
      case (p1, p2, amt) of
        (party1', party2', amount') -> do
          -- 在这里可以使用提取出的组件进行后续操作
          -- ...
          return ()