「型の関数」はtype A<T> = 処理のような感じで宣言された型の事を指します(多分) (edited)