Сопоставление шаблонов Erlang с функциями

Поскольку Erlang - почти чистый функциональный язык программирования, я полагаю, что это возможно:

case X of
    foo(Z) -> ...
end.

где foo ( Z) - это разрешимо-обратимая чистая (без побочных эффектов) биективная функция, например:

foo(input) -> output.

Тогда, в случае, если X = output , Z будет соответствовать input .

Можно ли использовать такую ​​семантику с синтаксисом или без синтаксиса, отличного от моего примера, в Erlang?