export T = S.Type or export interface T extends Schema.Schema.Type<S> {}, but there are cases where I want the type/interface to be explicit. Either because its external, or for reading comprehension.const S = Schema.Struct(...) satisfies Schema<T> ?