静的型検査のない関数型とかただの罰ゲームだからな
実装が手抜きなだけで動的型であること自体に何のメリットもない仕様だし