We can define operations on recursive types by inductive definitions where pattern matching supports the convenient separation of the different cases.
Putem defini operațiuni pe tipuri recursive prin definiții inductive în cazul în care modelul de potrivire susține separarea convenabilă a diferitelor cazuri.