To be clear, it contains part of it, not all of it. I just recommended this link in a different thread, but the link has relevance here, too: Gradual set-theoretic types — Elixir v1.20.2
I’d look at that for what’s done and what’s not done but on the roadmap.
