Proposal to add Dependent Function Types to the Language

Scala Improvement Process
3

Probably you mean “or” instead of “and” (i.e. with) in your examples? With the Proposal to Add Union Types to the Language you will be able to write

(Int => Int) | ((String, String) => String)