关于 typescript 中混入的返回类型

Question

type ClassType<InstanceType extends {} = {}> = new(...arg: any[]) => InstanceType

type Mixin = <S extends ClassType, M extends S> (B: S) => M

const a: Mixin = <S extends ClassType> (B: S) => class extends B {}

救救孩子，如何修改 Mixin 的定义使得 a 处不报错？