Idea: Simpler and More Expressive Type Annotations

When expr (expr1, expr2) is equal to Annotated[expr, expr1, expr2], would something like Gt(10) not be equal to Annotated[Gt, 10]?

I see a lot of problems with such syntax. I could however imagine this being added.