How is this different from for instance TypeScript, which also guarantees that types are always correct if you use it right?