いま思いついたけど、『なににも入れられない型』ってあったら便利・・・？＞＜（何かに代入しようとしたり参照しようとするとエラー＞＜）
つまり代入する式は『なににも入れられない型』を返すようにしたら、静的検査で「エラー！＞＜」って出来る？＞＜
（車輪の再発明？＞＜；）