そういう問題やなかろうが
「未知の型T」で起きる不具合は対策が難しいんだよ
Tに入りうる型がすべて解っていてもテスト工数が絶望的だったり