Паттерн-матчинг из области значений

Пока что по литературе мне знаком подход, в котором паттерн может содержать термы, константы и конструкторы - и это уже довольно мощный механизм. Но чем по сути является деструктуризация при матчинге по конструктору? Вызовом неявно заданной обратной конструированию функции (конечно, зависит от реализации, но в любом случае, формально это можно описать так).
Например:
структурирующая ф-ция> struct-three-ints : int # int # int -> three-ints;
обратная ф-ция> destruct-three-ints : three-ints -> int # int # int;
struct-three-ints^(-1) = destruct-three-ints

Конструирование и деструктуризация - простые и взаимовыводимые функции, поэтому обратную функцию конструктору явно задавать нет смысла (пускай лучше язык сам это разрулит - всё однозначно жеж), но почему бы не использовать тот же принцип в явном виде для других ф-ций?
Пример:
ord : char -> num; // ord - порядковый номер переданного аргументом символа в таблице ascii
chr : num -> char; // chr - n-й символ из таблицы ascii, где n - переданное аргументом число
ord^(-1) = char;

// теперь некоторая ф-ция
f : num -> num;
f(chr(x)) = ...;

Здесь chr(x) - паттерн-функция. Проверка типа состоит в сравнениях типа её домена с ожидаемым f типом и типа кодомена с типом переданного при вызове f аргумента. В случае успешного сопоставления типов, к переданному аргументу применяется обратная ф-ция, т.е. ord. Пример непрактичный, но наглядный.

Дальше много фантазирования на тему константных аргументов у ф-ций, с множественным их числом... Например, для бинарного +, фиксируя аргумент, получаем функцию сложения с константой, которой имеется обратная (вычитание из результата данной константы) и тд индуктивно.

Конечно, похоже на покушение на строгую типизацию, но строго-типизированное покушение же (: ф-ция при любом раскладе получит свой тип.

А может нечто подобное где-то используется?