Comment by net4all

In the example the return type of add does not depend on the value of the arguments. So it is not dependent types.