コンパイラーには判るのに、静的な型として書けないのは単に文法上の表現能力不足と考えられる。
だから、静的型付け言語でもそれを補えば動的型付け言語の様に使える、もちろん僅かな例外は書けなくなるが・・・
もし大半の問題が静的型付け言語でも解決できるのであれば、静的型付け言語特有の強力なコンパイル時チェック
リファクタリング、テストの自動生成等を捨てて動的型付け的機能の利点を得るより
それを捨てて静的型付の表現能力を向上してる動的型付に負けないような利便性を追加した方が良いのではないかと思う。