[nem-en] Can local functions be polymorphic (generic)?

[Vladimir Reshetnikov]

This does not work:
[nemerle]
module A
{
    Main() : void {
        def f[T]() {
            System.Console.WriteLine(typeof(T))
        }
        f.[int](); /* don't know how to apply generic specifier to f.[?] */
    }
}
[/nemerle]

But this works:
[nemerle]
module A
{
    static Main() : void {
        def f[T](_x : T) {
            System.Console.WriteLine(typeof(T))
        }
        f(1);
    }
}
[/nemerle]

Strange...