Test code 'Refactoring discriminated unions'