HTML templating is very useful, and often very frustrating. Most template languages suffer from plentiful runtime errors and do not support features like sum types directly. What if templating could be as simple and delightful as it is in dynamic languages, while catching mistakes at compile time? RTL is a type-safe HTML template language for Roc with compile time validation, support for algebraic data types, and the ability to use normal functions directly in templates.