我对我们的可组合类型系统感到非常满意。与其进行运行时检查，不如以声明方式写出条件。就像这里我们使用 `NonEmpty` 来确保在发送代币时，您不能发送零金额：

或者在这里我们使用 `Bounded` 来确保费用率是合理的值：