[Accepted] SE-0413: Typed throws

[taylorswift]

@tapoton

This explanation is not very detailed, it tells about intuitiveness and even gives an example of angle brackets usage in macros.

one way to think about it is that angle brackets declare type parameters, but the types that go in throws(...) are just plain old types.