An alternative to Annotated

That by itself doesn’t seem a big objection – type annotations reuse all kinds of operations, including x[y] and x | y.

3 Likes