How well does the type inference work for idiomatic code? And what about “smart” but still popular patterns? TypeScript tends to be more permissive over time.