this is really what I was asking about. type inference from the return value would be the main reason in that case.