It doesn't do: partial application, currying, structurally constrained generics and gradual typing (and of course much more small details that e.g. F# can do)

It does do: higher order functions and functional composition, monads and monadic comprehensions, records, list comprehensions and iterators.

You are correct that it's not going to "push" you into that direction aside from APIs that are already popular, but it's unfortunate it keeps getting bundled together with Java. C# and Java are languages with differing priorities, paradigm support and target scenarios. There is great overlap, but the differences are significant.