> Also, when your programs use abstract data types you lose the benefits of pattern matching. In some cases you can also use "private ADTs". Modules seeing suc

> Also, when your programs use abstract data types you lose the benefits of pattern matching. In some cases you can also use "private ADTs". Modules seeing such a type can use pattern matching on them but can not apply the constructors.