Snippets tagged discriminated union type