This is why (ignoring the batshit syntax) I&#x27;m quite fascinated by urbit&#x27;s language hoon, since it handles type signatures by evaluating the function with type objects rather than straight arguments, so the above <i>without</i> the annotation would already be strongly typed and valid across anything that supported +