Generic models error: "No base constructor has the specified number of type arguments. ts(2508)"

I’ve stumbled over a TS typing issue related to generic models where I am getting the error

No base constructor has the specified number of type arguments. ts(2508)

on the Model(...) call. I’ve isolated the problem to the following reduced example:

type ValueType = number | string

class Value<T extends DataType> extends Model(<T extends DataType>() => ({
  data: prop<T>(),
}))<T> {}

class Container<V extends Value<T>, T extends DataType> extends Model(< // <--- ERROR
  V extends Value<T>,
  T extends DataType
>() => ({
  value: prop<V>(),
}))<V, T> {}

It doesn’t seem to be caused by:

• more than one generic type parameter (because there’s a test with two type parameters that succeeds)
• simple dependence of one type parameter on another one because the following (replacing Value<T> by Record<string, T>) works:

  type DataType = number | string
  
  class Container<V extends Record<string, T>, T extends DataType> extends Model(<
    V extends Record<string, T>,
    T extends DataType
  >() => ({
    value: prop<V>(),
  }))<V, T> {}
  

So it looks like it’s caused by the dependence of one type parameter on another that extends a generic model. This is as far as I’ve been able to narrow it down. I’m just not sure yet how to fix it. Any help is much appreciated. 🙏