I think I would like the former syntax. Witness one of the several nested matching situations I run into: https://github.com/titzer/wizard-engine/blob/master/s

I think I would like the former syntax. Witness one of the several nested matching situations I run into: https://github.com/titzer/wizard-engine/blob/master/src/engine/Type.v3#L272 https://github.com/titzer/wizard-engine/blob/master/src/engi... This would be much, much better if Virgil had pattern matching on tuples of ADTs.