規制されてたから何も言えなかったが、発想の飛躍が激しいので、
もうちょっと落ち着いた方が良いと思う。

元々の話は、パターンマッチがプリミティブで存在すれば、
ifもそれで表現できる、ってことだよね? んで、実例が>>677という。
>>682で結論が出てると思うんだけど、>>704みたいな結論になるのが謎。