Separate type application from function application

As discussed in #28931, currently the type application for the function with generic parameters is tied to that function application.

Specialize the value of the function with generics is only possible during the call. So the following compiles fine:

function id<V> (v : V) { return v }

const some : Date = id<Date>(new Date())

But this does not:

function id<V> (v : V) { return v }

type IdDate         = typeof id<Date> // TS1005: ';' expected 

const dateId        = id<Date> // TS1109: Expression expected.

It would be very beneficial to separate type application from function application. For example (the original reason of this request), it will allow mixins with generic parameters:

export type Constructable<T extends any> = new (...args : any[]) => T
export type AnyFunction             = (...input: any[]) => any
export type Mixin<T extends AnyFunction> = InstanceType<ReturnType<T>>

export const Atom = <V, T extends Constructable<Object>>(base : T) =>

class Atom extends base {
    value               : V

    hasValue () : boolean {
        return this.hasOwnProperty('value')
    }
}

export type Atom = Mixin<typeof Atom> // this currently works, but does not have generic argument

export type Atom<V> = Mixin<typeof Atom<V>> // this is the goal

Trước tiên, hãy đọc cuộc thảo luận trong issue #28931, sau đó sử dụng các ví dụ ở đây để xác định cú pháp dự kiến và sự tương tác của nó với các hàm generic, truy vấn kiểu và mixin. Công việc được xem là hoàn tất khi phép áp dụng kiểu được đề xuất có thể được sử dụng độc lập với một lời gọi hàm và các ví dụ được đưa ra biên dịch đúng như dự kiến.