[int_19h]

The source code shouldn't need to say anything about the type of the resulting matrix explicitly, perhaps. But why shouldn't the type system keep track of shapes and deduce the accurate type for the result of said multiplication?

[bayesian_horse]

Because the shape can be dynamic, for example.