Day 3: More on Tagged types.