Lesser syntax change, discriminated unions