When we're at object variants, it would be great if they could automatically 
declare the type for the discriminator, like sum types in other languages.

Reply via email to