Language agnostic ADT上与模式匹配等价的函数

是否有一些最小的函数集共同构成ADT上模式匹配的等价物

---

如果有证据证明它们是等价的，我特别感兴趣。

我认为这是不可能的，因为模式匹配的全部目的是通过区分和类型来允许ADT的存在。