ジェネリックな高階関数だったら、$0の型がユースサイトで決まる状況はありえます