This week a new version of PHPStan comes out, one that will understand your code far better yet again. Among other things, it introduces so-called intersection types. Since this is a topic that stands on its own (you don’t always need to tie it to static analysis) and everyone writing modern web applications these days should care about type theory, I’ve put together a comparison of union types and intersection types.