It's curious that we already have some limited for...

# language-proposals

[ilya.gorbunov]

It's curious that we already have some limited form of partial application, it's called bound references:
instance::f is partial application of { a, b, c -> instance.f(a, b, c) }