that is why i transformed the algebraic data type into a typeclass.
If you think about Object Oriented programming, I want the flexibility of subclassing, where new subclasses can be added without a problem.