打字稿泛型的组成

我正在尝试在打字稿中创建一个域建模系统，受到 Scott Wlaschin 的基于 F#的域建模功能的强烈影响。

我无法找到处理泛型属性传递的正确方法，因此泛型对象类型可以将属性指定为另一种泛型类型的某种形式，而无需立即强制解析。很难用文字解释，所以这里是一个代码示例，大致说明了我想要实现的事情：

// We create a Simple generic so that we can
// prevent the direct use of primitives
// giving us an oppotunity to validate input (see make* fns below)
type Simple<
    Input extends
        | string
        | number
        | boolean,
    Tag extends string
> = Input & Record<Tag, never>

// We create an Id type which is a Simple string
type Id<Tag extends string> = Simple<string, Tag>

// We create an Entity type which accepts a
// string indexed interface with any Simple type as it's properties
// and a Tag which is passed down to lock the Id type
type Entity<
    Input extends {[index: string]: Simple},
    Tag extends string
> = Input & { id: Id<Tag> }

// We create a Deal type
// which is an Entity with an Id tagged with 'deal'
type Deal = Entity<{
    name: DealName
}, 'deal'>

// We define our Deal property types
type DealId = Id<'deal'>
type DealName = Simple<string, 'dealName'>

// we define Factories for creating
// our Deal properties and our Deals
// as the types are locked by the tags,
// this is now the only way to create them.
// This means once we have a Deal instance at run time,
// we know it has been validated
const makeDealId = (input: string) => {
    // validate deal id here
    return input as DealId
} 

const makeDealName = (input: string): DealName => {
    // validate deal name here
    return input as DealName
}

const makeDeal = (input: {
    id: DealId
    name: DealName
}): Deal => {
    // validate deal here
    return input as Deal
}

// Fails
const dealIdA: DealId = 'qwerty' // Type 'string' is not assignable to type 'DealId'
const dealNameA: DealName = 'Deal A' // Type 'string' is not assignable to type 'DealName'
const dealA: Deal = {
    id: dealIdA,
    name: dealNameA,
}

// Succeed
const dealIdB =  makeDealId('qwerty')
const dealNameB = makeDealName('Deal B')
const dealB: Deal = makeDeal({
    id: dealIdB,
    name: dealNameB,
})

// dealB is a valid Deal

*这是一个非常精简的版本，希望足以说明问题，但不包括嵌套的实体和值对象以及应用约束等。

问题是实体定义无效，因为 Simple 是泛型，我们没有提供它的参数，所以我们得到这个错误：

Generic type 'Simple' requires 2 type argument(s).

然而此时我们并不关心我们采用什么形式的 Simple，只关心属性必须是某种 Simple 的东西，而不是字符串 | 数量 | 布尔值，或其他任何东西...

我试过这样的事情：

type Entity<
    Input extends {[index: string]: Simple<unknown>},
    Tag extends string
> = Input & { id: Id<Tag> }

甚至（尽管很脏）：

type Entity<
    Input extends {[index: string]: Simple<any>},
    Tag extends string
> = Input & { id: Id<Tag> }

我显然在概念上遗漏了一些东西。如果有人喜欢尝试解决它并为我指出正确的方向，我将非常感激。

** 需要注意的一件事，无论好坏，我都试图使其尽可能具有功能性（因为我的大脑喜欢它并且因为它有助于使其与 Scott 的 F# 想法保持一致），因此所有类型都被声明为“类型”，没有接口或类*