import std.stdio, std.meta, std.traits;

​

template TypesOf(Values...) {

    import std.meta: AliasSeq;

    import std.traits: isFunction;

    static if (Values.length)

    {

        static if (isFunction!(Values[0]))

            alias T = typeof(&Values[0]);

        else static if (is(typeof(Values[0])))

            alias T = typeof(Values[0]);

        else

            alias T = Values[0];

        alias TypesOf = AliasSeq!(T, TypesOf!(Values[1..$]));

    }

    else

    {

        alias TypesOf = AliasSeq!();

    }

}

​

void f0() { writeln("f0"); }

​

void main() {

    void f1() { writeln("f1"); }

    struct S { void f2() { writeln("f2"); } }

    S s;

​

    auto x = &f0;

    auto y = &f1;

    auto z = &s.f2;

    x(); y(); z(); // Ok, all printed.

​

    alias TT = TypesOf!(f0, f1, s.f2);

​

    alias A = TT[0]; pragma(msg, A); // void function()

    alias B = TT[1]; pragma(msg, B); // void delegate() @safe

    alias C = TT[2]; pragma(msg, C); // void function()

​

    A a = x;

    B b = y;

    // C c = z; // Error: cannot implicitly convert expression c of type void delegate() to void function()

}