Does the code really need to be verbose? Scala does a pretty good job. Infer once at first declaration and enforce throughout.