I'm wondering what the rationale is for why functions can't infer their return type, while lambdas can. Somewhat related, I'm also wondering if there was consideration for a keyword to explicitly return from a lambda, without the use of labels? (I believe Ruby's 'next' keyword plays this role)