type providers, units of measure, active patterns, complete type inference.

Not sure I would want the last thing in C#, I think having boundaries at the function signature for that.