а Linq же писались под присмотром хаскеллиста, он видимо ничего не смог придумать для CLR

? (List<?> l) => l[0]

а что делать в рантайме?

в рантайме у тебя тип известен будет

т.е. индекс 0 у нас константа костыльная.

что?) это пример я привел функции First которая берет первый элемент HKT листа

да, понял. а как потом работать с этим List<?>

Это будет тип высшего порядка, как функция

Вопрос на 1 хривну. Стоит ли все Task заменить на ValueTask?

НЕТ

почему?

использовать везде где не нужно знать тип содержимого

вроде почитал про ValueTask - всем лучше чем таска,
1) таску в себе держит
2) конвертится в таску
3) память экономится

Что еще надо?)

Пункт 1 и 3 както не очень совместимы

Т.е. ты и так аллоцировал таск, потом еще на ValueTask потратил памяти. Память экономится?)

Тип обычный это:
string
int
Guid

Дженерик тип (высший тип 1 порядка)
T -> string
T -> int
...

то есть у тебя есть некий тайп конструктор, она же функция. Ты должен подать конкретный (1) тип чтобы получить этот тип

тип высшего порядка (2 и более):

T -> G -> string
T -> G -> int
...

это когда ты подаёшь тип (например первый T), а возвращается привычный дженерик, когда можно ещё подать тип!
то есть это как с функциями высших порядков (функции умеют возвращать функции),
А типы высшего порядка это когда типы умеют возвращать другие типы или их конструкторы

это структура

ну да

так почему не стоит заменять?

потому что ты можешь утонуть в копированиях и боксированиях