Disclaimer: This issue has not for purpose to prove that flow is better or worse than TypeScript, I don't want to criticize the amazing works of both team, but to list the differences in Flow and TypeScript type system and try to evaluate which feature could improve TypeScript. Also I won't speak about missing features in Flow since the purpose is as stated to improve TypeScript. Finally this topi