Type-based optimizations in Erlang/OTP 25 🥳 https://www.erlang.org/blog/type-based-optimizations-in-the-jit/