Generics 在DAML中，有没有可能在模板本身不是泛型的情况下，对选项使用泛型参数？

在我的模型中，我试图定义一个非泛型模板，该模板有一个选择，该选择采用泛型参数。我不知道该怎么做。有可能吗？如果没有，原因是什么？

这是不可能的，而且是故意的。DAML的设计原则之一是，当你签署合同时，你确切地知道你同意什么

假设有一个可用于资产的类型类Transferable，我发布了一个包，其中包含一个空的类型类Stealable和一个模板PermissionToSteal：

我也许能说服你作为业主签署这样一份合同，因为你知道不存在可窃取的情况，你觉得安全

但如果我现在上传了另一个带有可窃取现金实例的软件包呢

class (Template a, Transferrable a) => Stealable a where

template PermissionToSteal
  with
    owner : Party
    thief : Party
  where
    signatory owner, thief

    controller thief can
    (Stealable a) => Steal : (ContractId a)
      with
        asset : a
      do
        transfer asset thief