You can drop the external parent parenthesis and use the more concise `annotations.toSet()`