Surely some of these "where" clauses are unnecessary...
I'm writing a linear algebra library (and lattice library) in rust, and I've been getting a bit sick of how many "where" clauses I need to add to guarantee that yes, the array that holds the entries of the matrix is indeed "Sized." Shouldn't this be inferred? It's also additionally silly that I need to separately specify \where \\[() ; M \\* N\\]: Sized\\ and \`where \[() ; N \* M\]: Sized', since they're literally the same thing.
Anyone know if there's a way to avoid having to write all these?