Cool article.

> This isn't weird, lots of languages have multiple dispatch. What is weird is that you can also dispatch based on a runtime predicate of the value.

Is it wrong to think of the predicate itself as a type here?