For now we’ll go with the nesting. If there are strong concerns, it would be trivial to disallow it. The proposal now also covers this case, discovered by @prolativ: fun: (x: Int) => (y: Int) => x + y That is currently disallowed, but will be allowed under the proposal.