我正在尋找一個打字稿大師來幫助我解決這個問題。我正在嘗試在 Typescript 中實現一些 monadic 行為。我有一個可以采用 4 種不同形狀的數據類型。我希望能夠擁有像mapand這樣的基本一元函數flatMap。我一直在努力讓打字稿編譯器對我的類型感到滿意，我嘗試了多種方法（使用類、抽象類、簡單類型等），但這是我想到的最好的方法。export namespace Data {  export type Initial<T,E> = { kind: 'initial' }  export type Loading<T,E> = { kind: 'loading' }  export type Loaded<T,E> = { kind: 'loaded'; value: T }  export type Failed<T, E> = { kind: 'failed'; error?: E }  export type Data<T,E = any> = Failed<T,E> | Loaded<T,E> | Loading<T,E> | Initial<T,E>  type Kind = Data<any,any>['kind']  // Instantiations  export function loadingOf<T=any,E=any>():Loading<T,E> { return {kind: 'loading'}}  export function initialOf<T=any,E=any>():Initial<T,E> { return {kind: 'initial'}}  export function loadedOf<T=any,E=any>(value: T):Loaded<T,E> { return {kind: 'loaded', value}}  export function failedOf<T=any,E=any>(error?: E):Failed<T,E> { return {kind: 'failed', error}}  // Type guards  export function isFailed<T,E>( data: Data<T,E>): data is Failed<T,E> { return data.kind === 'failed'}  export function isLoaded<T,E>( data: Data<T,E>): data is Loaded<T,E> { return data.kind === 'loaded'}  export function isInitial<T,E>( data: Data<T,E>): data is Initial<T,E> { return data.kind === 'initial'}  export function isLoading<T,E>( data: Data<T,E>): data is Loading<T,E> { return data.kind === 'loading'}這當然是不完整的，因為 typescript 對 map 功能不滿意如果我交換重載的順序，它只會將錯誤代碼的最后一行更改initial為其他內容。我不明白為什么它對這些類型不滿意。不完全Data<T,E>合適？為什么要嘗試擬合參數類型以匹配所有可能的重載的參數類型？如果我刪除帶有子類型的簽名并只保留最通用的簽名，那么它就會停止抱怨，但它會使類型變得松散。任何子類型都將被強制為其松散的類型Data<T,E>，這是我不想要的。