余計な制約

各ブランチの結果型を揃える必要があるとかですか？