iots：使用文本联合，在对象中定义必需的和可选的键 我试图用io-ts定义一个新的编解码器。完成后，形状应如下所示：这里的关键是我想基于General和SupportedEnv派生类型。目前，我有以下内容：类型Supported需要两个键：我怎样才能使optional确实是可选的？我尝试过使用交叉点和局部。。。但我不能用iots.record来理解语法。我需要用不同的方式来思考吗？