Introducing record pattern for switch: Write a bunch of examples that introduce record patterns for switch.