basically, if you imagine that the first thing that

test.pytest

does is filter roots to the appropriate types, everything else all the way down could be strongly typed