export type MethodSpec<Fn extends (...args: any[]) => any> = {
    kind: "method";
    defaultImpl?: Fn;
    abstract?: boolean;
};
export type TraitSchema = Record<string, MethodSpec<(...args: any[]) => any>>;
export type InferTrait<TSchema extends TraitSchema> = {
    [Key in keyof TSchema]: TSchema[Key] extends MethodSpec<infer Fn> ? Fn : never;
};