型検査が強力で嫌な理由って何?