In Java Futures ... and precise statement of a variable's type, but on the other hand, sometimes the type is obvious or unimportant, and the explicit type may vie with more important information ...