Variants

Variants in Type-C are algebraic data types that provide an expressive way to represent multiple possible types within a single type declaration. Unlike enums, variants can also include arguments, making them even more versatile.

In the example, the sumTree function demonstrates how pattern matching works with variants, calculating the sum of values within a tree structure. Type-C also supports generic variants, which adds another layer of flexibility.