Active patterns, computation expressions, structural typing, statically resolved type parameters, explicit inlining, function composition, structural equality, custom operators and much richer generators.

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