Flow supports contravariance (`-`), TypeScript doesn't. Also, TypeScript doesn't support covariance (`+`) on all its types, but just some of them.