@pasqui023 That's a good way of thinking about it. The weirdness to me comes from exposing a specific exception-catching mechanism using the same mechanism that creates dynamic intersection types as well as hashmap unions.
Why is this step necessary? mastodon.social might not be the server where you are registered, so we need to redirect you to your home server first.
Don't have an account? You can sign up here