> Disadvantage is more verbosity

Type inference cuts down the verbosity tremendously.