This talk will dive into why we should steal static introspection from languages like Nim, and Dlang, state-of-the-art imperative programming languages which can solve all these issues, make type systems much more approachable without losing any expressive power, and offer new design possibilities for functional programs.