the penultimate conditional syntax

https://dotat.at/@/2025-05-13-if-is.html About half a year ago I encountered a paper bombastically titled "the ultimate conditional syntax" . It has the attractive goal of unifying pattern match with boolean if tests, and its solution is in some ways very nice. But it seems over-complicated to me, especially for something that's a basic work-horse of programming. I couldn't immediately see how to…