関連ワード:  typescript type level functions    typescript type for functions    typescript type check function  
結果 : typescript type level functions