First Draft: opUnwrapIfTrue

[Mindy (0xEAB)]

On Thursday, 26 February 2026 at 16:01:22 UTC, Paul Backus wrote:
> This seems like an entirely self-inflicted problem. You've 
> designed an API that's a pain in the butt to use, and now you 
> want to add a language feature to compensate for your bad 
> design.

Yeah, how about we add proper sumtypes to the language instead of 
duct-taping on features to make up for the lack thereof?