[masklinn]

Yes but then you need neither sum types nor user-defined generics, you can just build-in whatever sugar is useful or necessary (possibly repurposing existing sugar e.g. the `select` statement).

[ccktlmazeltov]

sum types are still super useful imo without generics.