WH>                Base[] b = new Derived[1];
WH>                b[0] = new Base();//Тут будет исключение

В рантайме. Т.е. нужна дополнительная проверка на совпадение типов при каждом обращении к элементам, то совсем не здорово. Для реф-типов это еще можно пережить, а вот для value-типов никуда не годится, поскольку весь смысл в них пропадает.
Ну хорошо, не нравятся тебе массивы - вот еще проще:
[c#]
struct Base {}

struct Derived
{
    int fld;
}

void Foo(Base b)
{
    // Здесь нужно точно знать размер, занимаемый b в стеке
    ...
}

...
Foo(new Derived());