[JMKH42]

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.

[pjmlp]

You can fake type providers with code generators though.