> because being able to write down types is really quite important to me. The issue arises only with generic heavily templated functions. Nothing in D forbids

> because being able to write down types is really quite important to me. The issue arises only with generic heavily templated functions. Nothing in D forbids you to write your programs with all types explicitly written down. That's btw how I mostly write my code.