You're probably thinking of ;; in a signature.
On 05/10/2018 20:02, Trey Harris wrote: > But right now we have a situation where “everything within the > signature /except for/ the return constraint can participate in multi > dispatch”, which does feel weird. But is that actually true? > Something’s nagging at me that there’s something else in this category > as well, but I can’t think what. (Recursive multi dispatch on > signatures of multi |Callable| arguments, maybe? I would try but my > machine’s offline upgrading….) If there are more rules about what > participates in multi dispatch than “change anything in the signature > to the left of the |-->| and you’re good”, then it’s probably > acceptable for |-->| to not participate either—it’s already more > complex than it looks. >