One of the nice features of rust is type inference, so you really don't need to define the type here, or above for `args`, or below for the various `bool` and others you have. It is in some rare cases necessary to specify to disambiguate, but overall I think we are better off not having to read or write them.