[sephware]

A lot of it is described in https://www.typescriptlang.org/docs/handbook/type-compatibil...

More examples are on https://github.com/Microsoft/TypeScript/wiki/FAQ