How do we write elegant, type-safe, readable and re-usable validation? Why good validation matters and how can it make your code safer?