Как я могу реализовать NotOfType в LINQ с красивым синтаксисом вызова?

Я пытаюсь придумать реализацию для NotOfType , которая имеет читаемый синтаксис вызова. NotOfType должен быть дополнением к OfType и, следовательно, будет давать все элементы, которые не типа T

Моей целью было реализовать метод, который будет вызываться точно так же, как OfType , как в последней строке этого фрагмента:

public abstract class Animal {}
public class Monkey : Animal {}
public class Giraffe : Animal {}
public class Lion : Animal {}

var monkey = new Monkey();
var giraffe = new Giraffe();
var lion = new Lion();

IEnumerable<Animal> animals = new Animal[] { monkey, giraffe, lion };

IEnumerable<Animal> fewerAnimals = animals.NotOfType<Giraffe>();

Однако я не могу придумать реализацию, которая поддерживает этот конкретный синтаксис вызова.

Это то, что я пробовал до сих пор:

public static class EnumerableExtensions
{
    public static IEnumerable<T> NotOfType<T>(this IEnumerable<T> sequence, Type type)
    {
        return sequence.Where(x => x.GetType() != type);
    }

    public static IEnumerable<T> NotOfType<T, TExclude>(this IEnumerable<T> sequence)
    {
        return sequence.Where(x => !(x is TExclude));
    }
}

Вызов этих методов выглядел бы так:

// Animal is inferred
IEnumerable<Animal> fewerAnimals = animals.NotOfType(typeof(Giraffe));

и

// Not all types could be inferred, so I have to state all types explicitly
IEnumerable<Animal> fewerAnimals = animals.NotOfType<Animal, Giraffe>();

Я думаю, что у стиля обоих этих вызовов есть серьезные недостатки. Первый страдает от избыточной конструкции типа / типа, а второе просто не имеет смысла (мне нужен список животных, которые не являются ни животными, ни жирафами?).

Итак, есть ли способ добиться того, чего я хочу? Если нет, возможно ли это в будущих версиях языка? (Я думаю, что, может быть, однажды у нас появятся аргументы именованного типа или нам нужно будет только явно указать аргументы типа, которые нельзя вывести?)

Или я просто глупый?