template auto deduction

[Alex via Digitalmars-d-learn]

Hey, template gurus :)

given this:
struct M(alias I : S!E, alias S, E...)
{
        R!E r;
        this(S)(S initStruct)    // line 4
        {
                r = R!E(initStruct);
        }
}
struct R(E...)
{
        this(S)(S initStruct)    // line 12
        {
                // do some cool stuff
        }
}
void main()
{
        FS!(Etype1) fs;
        auto m = M!(typeof(fs))(fs);    // line 21.
        auto a = M!(fs); // does not work
        auto b = M(fs); // does not work        
}
struct FS(T...){}
struct Etype1{}

Everything works as expected, especially line 21. The question is 
about syntactic sugar: What I have to change, to use auto 
deduction and to create the M struct like in line 22 or 23?

By the way, I'm aware, that the type matching in lines 4 and 12 
is lost, in the way it is written here. However, it is meant to 
exist, if this helps in some way...

Thanks a lot in advance
Alex