仮にそれを認めて整合性のあうルールが出来たとしても、それはそれで型検査が連鎖的にしんどくなると思う