parametric types evaluation

[coot]

Currently this is impossible:

/* @flow */
declare type get<T> =  () => T;
declare type ID<T> = T;

// flow complains here, that it does not expect any parameters for the T type
declare type X<T> = T<string>;

let x: X<ID> = 'abc';
let f: X<get> = () => 'abc';

I also tried declare type X<T<U>> but this syntax is not allowed.

[TrySound]

Duplicate of #30