module A {
    Foo(x : int) : int { x }
    Foo[T](x : int) : int { x }
    Main() : void {
        _ = Foo[int](1); // такое на катит, как мне явно сказать компилятору, что я хочу вызвать полиморфный метод?
    }
}

        _ = Foo.[int](1)