On a personal note, I'm not sure that it's helpful to have the fat arrow used for what seems to me like two different things: separating the return type from the parameters in the declaration and ...