> Eg, spec can warn you when an argument doesn't make sense relative to the value of a second argument. That's something that dependently-typed typesystems eas

> Eg, spec can warn you when an argument doesn't make sense relative to the value of a second argument. That's something that dependently-typed typesystems easily do as well if not better because inside of the function or data definition, the information is still available and used for code-completion, other compiletime checks etc.