разве нет?

this

вроде была где-то оптимизашка конкретно для массивов

Самый первый метод:

public static IEnumerable<TSource> Where<TSource>(this IEnumerable<TSource> source, Func<TSource, bool> predicate) {
            if (source == null) throw Error.ArgumentNull("source");
            if (predicate == null) throw Error.ArgumentNull("predicate");
            if (source is Iterator<TSource>) return ((Iterator<TSource>)source).Where(predicate);
            if (source is TSource[]) return new WhereArrayIterator<TSource>((TSource[])source, predicate);
            if (source is List<TSource>) return new WhereListIterator<TSource>((List<TSource>)source, predicate);
            return new WhereEnumerableIterator<TSource>(source, predicate);
        }

Это я нагуглил сейчас. А в своё время краем глаза в исходники заглядывал, подсмотрел, какая там реализация.

public static IEnumerable<TSource> Where<TSource>(this IEnumerable<TSource> source, Func<TSource, bool> predicate) {
            if (source == null) throw Error.ArgumentNull("source");
            if (predicate == null) throw Error.ArgumentNull("predicate");
            if (source is Iterator<TSource>) return ((Iterator<TSource>)source).Where(predicate);
            if (source is TSource[]) return new WhereArrayIterator<TSource>((TSource[])source, predicate);
            if (source is List<TSource>) return new WhereListIterator<TSource>((List<TSource>)source, predicate);
            return new WhereEnumerableIterator<TSource>(source, predicate);
        }

интересно, jit может схлопывать такие штуки на колсайте или нет?

реализация по умолчанию может быть

надо Егора помучить этим вопросом

хм, я мб какие-то другие исходники смотрел, сча гляну

аа, эти же, только видимо снизу начинал) а снизу там нету проверок

Да, если что, я тоже не за то, что давайте вот прямо немедленно тайп-классы и HKT завозить.

У кого-нибудь есть примеры как HKT могут фаршу помочь?

Я чёт немного посмотрел, потыкал, но не вкурил наверное

Да, есть такая штука, да, интересная, да, было бы неплохо.

Читал убедительный разбор почему в Elm без тайпклассов плохо (тк сравнения значений без них через жопу), но к фшарпу это не относится
Если что тут https://reasonablypolymorphic.com/blog/elm-is-wrong/

В F# есть SRTP, оно во многом спасает.

Тайп классы сильно помогут в сериализации

А что, варианты, где можно очень красиво записать

val intOpt: int option
let strOpt: string option = intOpt <!> string

, где <!> — оператор map
мы не рассматриваем?

у меня например в пульсаре была задача - складывать сообщения параметризовынные разными типами в одну очередь входящих сообщений, т.е. есть сообщения Message<A>, Message<B>, и я их не могу положить в одну коллекцию Collection<Message>