Elixir v1.20 was announced as “now officially a gradually typed language”, thanks to its set-theoretic type system. However, what exactly are set-theoretic types? How do they work? Let’s answer these questions by embarking on a quest where we live code the foundation for set-theoretic types from scratch!