Type management has become a fundamental pillar for the quality of PHP code: static analysis makes permanent use of it. However, the design of a type system remains anecdotal: at best, it is often an organic effort, based on a few simple rules. In this conference, we will explore good typing practices in PHP. We will put a particular emphasis on the notions of code validation and completeness, through concrete examples. You will discover a methodical approach to define and organize types in a consistent way. This conference is aimed at developers of all levels wishing to take a step back and urbanize a growing number of types.