Do we need Mat, Vec, TMmat, Diag, Sym and other matrix types?

[jmh530]

On Thursday, 15 March 2018 at 05:04:42 UTC, 9il wrote:
> [snip]
> BTW, could you please help with the following issue?!
>
> struct S(int b, T)
> {
> }
>
> alias V(T) = S!(1, T);
>
> auto foo (T)(V!T v)
> {
> }
>
> void main()
> {
>     V!double v;
>     foo(v);
> }
>
> Error: template onlineapp.foo cannot deduce function from 
> argument types !()(S!(1, double)), candidates are:
> onlineapp.d(7):        onlineapp.foo(T)(V!T v)
>

It looks like it should expand the alias earlier. No problem with 
auto foo (T)(S!(1, T) v) {};