振る舞いに応じて型を分けることで複雑さに対処する