Type Alias EnumVariant<S>

EnumVariant: {
    [K in keyof S]: S[K] extends Model.Model<infer T>
        ? { type: K; value: T }
        : never
}[keyof S]

A enum's variant entry { key: K, value: T }.