現実には型で分岐するコードも*大量に*ある以上>>377は勇み足