That approach is a really good point in the design space IMO. It is also the tradeoff that people have to make when designing type systems. Many programs are co

That approach is a really good point in the design space IMO. It is also the tradeoff that people have to make when designing type systems. Many programs are correct but rejected by their language's type system, but if the language is well designed it was probably a really weird and unintuitive program to begin with, so it's okay to reject it anyway.