> For instance, there is no need for generics and enums, sum types and null coalescing are all the same thing.

Can anyone qualify that claim? How does one translate type generics to Cue?