Here are a few examples of unsoundness in TS: https://www.typescriptlang.org/play?strictFunctionTypes=fals...
https://flow.org/en/docs/lang/types-and-expressions/#toc-sou...