Ah, so as I understand, algebraic types aren't a feature, but the langauge does provide the tools to program in that style if you really want to. Thanks for that context @neumann! I have to read more about datatypes and multimethods.
@yosevuk That sounds like a great summary. You're welcome!