flow решает, так что пофиг.
flow будет решать когда любая либа по дефолту будет включать декларации flow-типов
да и потом, flow и ts нормально подходят для классического ООП, но замутить протоколы вроде Iterator (чтобы полями были символы), только свои, ни там ни там не получится, а во flow нельзя даже использовать имена методов, не являющиеся валидными идентификаторами (чтобы сделать хотя бы 'namespace/method' как в FL)
так что тот факт что все эти flow и ts прикручены к языку сбоку даёт о себе знать в таких вот моментах, когда хочешь использовать какие-то продвинутые фичи языка