About Discriminated Unions Complete