No's:

No opt-in policy for nullness (Maybe<T>), except for structs via Nullable<T>
No opt-in policy for mutability (classes, structs)
No recursive enumerations (datatype constructors) or pattern-matching
No generic numerics
No kind-system

Hmm's:

Slow linq to objects, unsuitable for fundamentalists (iterators don't mesh well with recursive use/structures.)
Partial classes and extension methods - not as holistically designed as one might wish

Symptoms of a 10 year old language and runtime.

Dispite all this it's still a great language.

PS - language doesn't need runtime just to support generics - look at Java. Bracha et al made generics via type-erasure (don't like it due to performance, but it shows its possible.)