It matches all the poly variables at the front of the type even if it is the empty set. Which is why I went with `All` vs `Any`, because `Any` has a small implication of inhabited.