<code>=<< or mdnib (flip mbind) (<u>Q</u>) -> (Q -> <u>R</u>) -> (<u>R</u>)</code>
-<code>join: <span class="double">P</span> -> <u>P</u></code>
+<code>join: <span class="box2">P</span> -> <u>P</u></code>
The menagerie isn't quite as bewildering as you might suppose. Many of these will