what is the reasoning behind not having the signat...

# language-proposals

[mutexkid]

what is the reasoning behind not having the signature of function type definitions automatically define names of the values before the arrow?