How would the resulting types be inferred? Everyth...
# language-proposals
f
How would the resulting types be inferred? Everything at that level would just end up as a generic Number.