Dependent types require additional source code.

That is true of static types in general.