Let's learn about discriminated union types a little more than we already know.