The term #PatternMatching in #FP means using the structure of the ADTs to dissect (analyse) a data structure into its constituent components (referrered to as "selection" in #TypeTheory).
If we consider #DataStructures to be “alive” at runtime, then pattern matching is not a "dissection", but a "vivisection", of data.
🐦🔥nemo™🐦⬛ 🇺🇦🍉