なぜ型で分岐とかいうことに