[iav]

They might be both valid but will generate a different output (int or range) leading to a compile time error downstream

[cycomanic]

I don't think that's generally the case, AFAIK the example of the matrix exponential example a bit further up would not be really distinguishable as a type from a regular matrix (with exponential elements).