Just beware this is essentially a variant of a "type assertion", much like type predicates (`:arg is Type`) and the `as Type` keyword.
Super super useful, but can easily mask bugs.
For best/safest results, pair this with unit tests.

We need Remix and RR here on BSky!