<div dir="ltr"><div class="gmail_default" style="font-family:monospace">I have one more question I'd like to ask. Aside from this, I think we've explored the idea well enough, so I'll leave the topic alone for good.</div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">Are we opposed to doing something like this?</div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">    case Integer i #when i > 0</div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">My goal here is to use the # symbol (or any other unused symbol) as sort of a springboard into a larger pool of potential signifiers. You get simplicity and expressiveness for the cost of one more character that is currently unused (to my knowledge). Furthermore, the introduction of the unused character can help with visually separating the pattern from the guard, but with minimal loudness. And of course, being unused means that it meets the needs for Java language parsing folks too.<br></div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">Thank you for your time and help!</div><div class="gmail_default" style="font-family:monospace">David Alayachew<br></div></div>