[nurpax]

> made a huge mistake not having proper union/sum types (AKA Abstract Data Types/ADTs)

Did you mean algebraic data types?

[hardwaresofton]

Yes I definitely did, thanks for the catch -- edited the comment.