Ну может я просто хочу развеять обстановку ...

но вот ...

в этом основная мысль ...

При этом общая строка могла бы быть и до и после ...
Например так ВВОД => CASE => ВЫВОД в одном матче.
Нечто подобное было в хаскале вроде как, а может быть и нет...

вот одна из предполагаемых конструкций )

match (a)
{
| 1 => a + b 
| 2 => a - b 
| 3 => ()
| 1 || 2 => WriteLine(res);
//| 1 || 2 <= ReadLine(a);
}

Без этого прийдётся в 1 и 2 случаях писать одно и то же или же сравнивать 1 и 2 два раза.
Идея, что когда стало ясно, что в А находиться 1 было уже ясно, что оно 1 || 2 соответственно без написания при этом ничего после a+b,
То есть программа должна сначала понять что если 1, то и 1 || 2 , а не сравнивать уже в процессе получения 1...

... ну или подскажите как поступать в ситуациях, когда требуются такие ветвления, оптимальнее . . .