This article presents a way to implement a Finite-State Machine with the PHP Type System. The goal is to simply avoid impossible states and transitions.