Applying statically typed functional programming techniques to distributed systems can often pose significant hurdles. First among these is how we can handle statically typed computations in distributed environments. ZIO Schema is a library that provides a set of tools that can help solve these issues in a type-safe way by reifying Scala types as pure, serializable values. In this talk, we'll give a brief introduction to the key concepts of ZIO Schema and then dive into a concrete example of how we can use them to solve some of the trickiest problems in distributed computing.