There is a pattern matching aspect but I think the energy behind it is largely motivated by a desire to clean up syntax when working with data structure based A

There is a pattern matching aspect but I think the energy behind it is largely motivated by a desire to clean up syntax when working with data structure based APIs and DSLs. I've read the proposal, design meeting notes, and GH conversations. Not seeing a compelling counter argument here.