Switch `<>` back to `[]`

Here we go.

Thoughts?
I think that this claim should be removed—it has no substance apart from the previous claim, is subjective and is not dealing with a concrete situation (HKT is far future).