正在跳转至 https://stackoverflow.com/questions/33994559/typescript-generic-that-extends-a-type-with-a-generic-higher-kinded-types