"What if I do not want the compiler to infer types for my variables?" . . . .