Исчерпывающее сопоставление с образцом - это прекрасно, но похоже, что оно работает только в левой части оператора case ( => ). Мне любопытно, есть ли способ проверить, что вывод функции (или выражения) может быть привязан к этому...